USB3.0设备控制器IP核OUT端点测试平台的研究与实现

从一款自主研发的USB3.0设备控制器IP核出发,完成USB3.0设备控制器IP核OUT端点模块3种传输模式(批量传输、中断传输和等时传输)的功能验证。通过Verilog语言搭建一个完整的OUT端点测试平台,测试平台包括USB3.0设备控制器IP核、主机模块(包参数产生模块、包产生模块、链路命令产生模块、包检测模块及链路命令检测模块)和应用核模块。实验测试结果与USB3.0 OUT端点3种传输模式的协议规范完全符合。该平台能够对USB3.0设备控制器IP核OUT端点的3种传输方式进行全方位的功能验证。

基于PC与数据采集系统的DSP&CPU芯片功能验证方案

随着现代超大规模集成电路设计、制造工艺的快速发展,芯片的测试与验证所需的费用也越来越高。针对这个问题,本文提出了一种数字芯片的功能验证方案,该方案充分利用了PC机的丰富资源和数据采集系统的强大功能,有效地降低了数字芯片功能验证的成本。作者成功地运用该方案对一个百万门级的DSP&CPU芯片进行了功能验证,实际应用证明,该方案使用灵活、可靠,并且可以大幅降低芯片验证所需的费用,为数字芯片的功能验证提供了可以借鉴的有效方案。

SoC事务级随机测试功能验证有效性评估

针对测试向量放回和不放回两种情况,采用对比评估法,以发现错误的能力和提交的可靠性为标准,论证了SoC事务级随机测试功能验证的有效性。评估结果表明,划分测试仅在错误区包含某个或几个子域的特殊情况下有高于随机测试的验证效果,而随机测试则可能在更一般的情况下优于划分测试的验证效果。

总线事务级验证模型仿真性能研究

系统芯片的功能验证一直是芯片设计中最具挑战性的部分。基于事务的验证方法学被用来解决功能验证中的困难。该方法学通过提高验证的抽象层次来降低验证复杂度。但同时也对使用该方法学构建的验证平台组件可重用性有了更高的要求。其中总线功能模型可以在验证中模拟设计中的其他模块,是构建验证平台的重要组件。本文在方法学的基础上,讨论了两种类型的总线功能模型,并给出了verilog硬件描述语言的实现模型,最后通过实验比较了两种总线功能模型的仿真性能。

RVM随机验证中的三个关键点及其应用

本文首先分析了传统验证方法的不足和使用RVM随机验证的原因,指出了RVM随机验证的3个关键点,接着介绍了RVM随机验证方法学的主要特征和一些重要术语,以及RVM验证方法学中层次化验证的结构。最后,结合UART(通用异步收发报机)实例,对3个关键点进行了详细的阐述。本文主要介绍了在搭建高效验证平台时,需要认真分析和详细设计的3个关键点,平台搭建方法是RVM参考验证方法学。通过本文的论述,在进行芯片验证时,只要设计好了这3个关键点就可以保证验证的快速和高效。