基于VMM验证方法学的USB控制器IP验证方案

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

基于VMM方法学的算法IP验证环境

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

基于VMM的外部存储器接口验证

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

TC9012协议功能验证

本文讨论TC9012编码协议的功能验证。在VMM验证方法学架构下,实现TC9012协议编码功能验证,通过多变量参数化TC9012协议建模,能覆盖到所有场景的验证。并在driver/monitor/scoreboard之间增加同步握手机制,使验证组件在数据帧发送、坏数据帧丢弃、正确数据帧采样、数据比对上完全可控。