Hardware/Software codesign; SDL; System level specification; VHDL generation; Communication synthesis;
机译:Sdl2pml-用于根据SDL规范自动生成Promela模型的工具
机译:从并行控制器的分层Petri网规范生成VHDL
机译:从并行控制器的分层Petri网规范生成VHDL
机译:从SDL规范中产生VHDL
机译:从定时MSC自动生成SDL规范。
机译:使用RiptiDe™的下一代基因分型(NGG)。性能规范应用最佳实践时
机译:VHDL从SDL规范生成
机译:用于航空电子设备的超高级设计语言(VHDL)规范的测试生成。