摘要：针对USB控制器IP的功能及结构特点,并且尽可能更快地完成验证以适应上市的需求,提出了一种基于vmm验证方法学的高效验证方案。建立了一个层次化的、可重用的验证平台。利用vmm测试激励约束性随机产生的特点,提出了分层解析、分层约束的激励产生方法;利用Synopsys公司开发的验证IP(VIP):AHB总线功能模型和USB主机模型,快速构建仿真环境,模拟实际数据流的通信过程;充分发挥VIP的内部"后门"的作用,增强验证平台测试流的可控性。验证结果表明该验证平台能全面验证USB控制器IP,且性能稳定、兼容性强;通过模拟实际的工作流程,达到了优化设计、缩短验证周期的目的。此方案的一些设计思想,对系统级平台及其他模块级验证平台设计具有参考意义。

摘要：随着集成电路的发展和芯片设计复杂度的快速提升,芯片验证的难度不断加大。有统计数据表明,近70%-80%的设计时间都花费在芯片验证中。vmm是synopsys公司推出的一套基于System Verilog的方法学,而今已经成为芯片验证的主流方法学。以vmm方法学为基础,FFT/IFFT模块验证为实例,介绍了利用vmm方法学如何搭建算法IP的验证平台,以及平台各个验证组件的搭建需要注意的问题。

摘要：随着SoC规模和复杂度的增加,功能验证变得越来越复杂,传统的验证方法很难对其进行全面的验证。基于SystemVerilog语言和vmm(Verification MethodologyManual)的高级验证方法学,采用覆盖率驱动、带有约束的随机化和断言等验证方法设计验证平台,对外部存储器接口进行了功能验证。验证结果表明,此验证平台能够实时监测覆盖率,控制验证进程,优化验证事务,代码和功能覆盖率可达100%。该方法简化验证复杂度,提高验证平台的可重用性,较好地满足芯片验证需要。