基于VMM方法学的系统级软硬件协同仿真验证

针对一款高性能复杂SoC芯片的设计,提出了一种新的软硬件协同仿真验证方案。通过比较仿真环境中软硬件间通信的各种实现方式,构建了一种新的符合VMM标准的验证平台。同时为加快覆盖率的收敛速度,给出了随机激励约束的优化方法。实践表明,新的约束和仿真方式使覆盖率收敛速度提高数倍,验证效率显著提高。

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

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

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

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

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

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

LTE-A系统中HARQ技术的实现与验证

随着移动通信系统中上下行业务吞吐量的快速增长,HARQ存储器大小的需求及交互访问量的不断增加,以及终端设备功耗指标的持续飙升,由此对片内HARQ存储方式进行研究,提出一种运行时间在满足0.5ms的条件下,能使数据搬移和硬件加速器可并行工作的硬件实现方案,最后采用了基于VMM的ASIC验证工具对其进行仿真验证.

TC9012协议功能验证

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

基于VMM的LTE小区搜索模块验证

随着芯片设计规模和复杂度的增加,功能验证变得越来越复杂,验证面临着诸多挑战。有统计数据显示,验证工作占整个设计开发工作60%～80%的时间。在长期演进系统(long term evolution,LTE)中,小区搜索是一个非常关键的过程,是移动终端开机后首先要做的步骤。小区搜索的性能好坏直接影响LTE系统后续过程的进行,对LTE系统的性能有很大的影响。以LTE系统小区搜索模块为例,简要介绍了VMM(verifacation methodology man-ual)验证方法学,并基于VMM验证方法学搭建了小区搜索模块验证平台,对小区搜索模块进行了全面的功能验证。验证结果表明,本模块能够完成预期的目标,采用VMM验证方法学可以极大地提高验证效率,缩短验证周期。