high level languages; specification languages; refinement driven systemC/spl trade/ based design flow; automotive digital hardware design; high level executable specification; refinement process; gate level description; VHDL based register transfer level design flow; hardware description languages;
机译:基于改进的花授粉算法的复杂系统可靠性,可维护性,可支持性,可测试性配额设计和权衡的一种通用方法
机译:基于模型的方法来控制石质泥石流的工程设计和性能评估,并以Rovina di Cancia(意大利东北威尼斯白云岩)的案例研究为应用
机译:基于模型的方法来控制石质泥石流的工程设计和性能评估,并以Rovina di Cancia(意大利东北威尼斯白云岩)的案例研究为应用
机译:评估改进驱动的SystemC / SPL贸易/基于设计流程
机译:工作流可视化:系统的设计,开发和评估,以支持基于设计的研究和学习干预的共享。
机译:基于代理的OpenFlow网络监控系统的设计与评估
机译:基于pmIpv6的网络中的Ip流移动性:解决方案设计和实验评估