针对数字信号处理器的不同仿真和验证要求,提出了一种可测性软硬件协同仿真和验证平台的设计.采用可配置IP模块和总线结构,实现了......

为了提高嵌入式系统的开发效率和设计可靠性、提供在获得硬件原型之前的虚拟集成验证手段,本文引入了软硬件协同验证的概念,提出了......

基于C仿真策略建立了一种新的SoC软／硬件协同验证环境．利用此验证环境，针对计算密集型应用，提出了一种低成本的软／硬件协同设计方法．针对......

SoC基于IP设计的特点使验证项目中多语言VIP（Verification IP）协同验证的需求不断增加,给验证工作带来了很大的挑战.为了解决多语言V......

介绍了基于C*Core的SoC及相应的协同验证平台,提出了一种基于C*Core的SoC软硬件协同设计流程及验证方法,具有降低设计风险和缩短产......

文章通过对Summit设计公司的Visual Elite ESC中使用的多语言协同验证工具V-CPU的分析,介绍了传统的协同验证方法的构造思想。在此......

介绍了一个用来验证嵌入式系统硬件／软件，及其交互功能的硬件／软件协同验证环境，硬件／软件功能分别使用系统提供的ＥＨＤＬ语言及ＥＳＤＬ语言设计和描述......

直接从规范需求描述入手，研究了嵌入式系统设计中的模型映射、代码自动生成、协同验证和性能优化等关键技术问题，提出了以模型驱动的......

现有基于断言、形式化等的验证方法可保证电路按要求工作,但无法完成对设计的全验证.文中将软件验证环境与硬件加速器相结合,组成......

针对嵌入式系统设计中缺乏高层设计环境，系统规范描述依赖于具体模型等特点，提出了需求驱动的嵌入式系统中的软硬件协同设计方法，研究......

使用FPGA进行全系统仿真是验证基于平台设计的系统芯片(SoC)的有效手段,但FPGA原型验证一方面须等待硬件设计完成编码,另一方面FPG......

在数字IC设计中,通常情况下,一般功能芯片验证只涉及到单方面的验证,比如功能仿真、静态时序分析(STA)等.片上系统(SOC)的验证,则......

Co-verification is the key step of software and hardware codesign on SOC. This paper presents a hw/sw co-verification me......

讨论一种面向片上系统(SOC)设计的基于指令集模拟器和硬件模拟器的软硬件协同验证方法。该方法能够在SOC设计的早期对整个系统功能......