hardware-software codesign; digital circuits; embedded systems; formal verification; logic testing; hardware description languages; formal specification; component based codesign; embedded system; digital circuit design; formal specification language; formal verification; BHDL tool; hardware description language;
机译:基于组件逻辑总线体系结构的嵌入式系统硬件/软件协同设计的自上而下的协同仿真
机译:在硬件/软件协同设计中使用模式进行正式细化建模
机译:基于组件的系统演化的基于策略的精制检查
机译:基于组件的共同设计和改进
机译:通过设计空间优化和灵敏度评估,基于CFD的液体火箭发动机组件的替代模型。
机译:将家庭锻炼培训与家庭服务的医院纳入住院治疗的患者:使用加速体验的共同设计开发模型
机译:基于组件的硬件 - 软件协同设计⋆
机译:晶粒细化对铸造镍基高温合金涡轮机构件结构和性能的影响。