机译:恢复用于自动生成SW应用程序的RTL IP功能的方法
机译:用于模型验证,硬件/软件协同仿真,性能优化和可定制源代码生成的方法和工具集
机译:用户驱动的自动测试用例生成,用于DTV / STB可靠的功能验证
机译:用于systemC功能验证方法的自动测试平台生成工具
机译:在SystemC中自动生成事务器
机译:迁移检查工具:在治疗管理系统升级和数据库迁移之后自动进行计划验证
机译:从systemC到FpGa的EsL验证方法实践 - 以EpC Class-1 Generation-2 RFID标签设计为例
机译:补体生成工具(CGT)的功能和可用性评估:初步审查(评估de la Fonctionnalite et de la Convivialite de Generation de Complements(CGT) - Examen preliminaire)