基于VMM实现的网络接口验证.docVIP

基于VMM实现的网络接口验证 　　摘 要:网络接口是网络芯片的重要组成模块。基于VMM实现了一个网络接口的验证环境,并就其参考模型(RM)的设计与验证环境的重用性进行了较为详细的阐述。该验证环境实现了所验证网络接口模块的零缺陷交付,达到了理想的覆盖率结果。就芯片已经成功流片且样片测试通过。 　　关键词:VMM; 参考模型; 重用性设计; 网络接口; 覆盖率统计 　　中图分类号:TN919文献标识码:A 　　文章编号:1004-373X(2010)15-0125-03 　　 　　Verification of Network Interface Based on VMM 　　LIANG Pu, WANG Xin-an 　　(Key Lab of Integrated Micro-system Science Engineering Applications, Shenzhen Graduate School of Peking University, Shenzhen 518055, China) 　　Abstract: Network interface is an important module in a network chip. A network interface verification environment ??realized?? on the basis of VMM is introduced in this paper. The reference module design and the reusability of the verification environment are elaborated. The zero-defect delivery of the verified network interface module was implemented by the verification environment. The ideal coverage rate was achieved. The chip passed all the tests. 　　Keywords: VMM; reference model; reusability design; network interface; statistics of coverage rate 　　 　　0 引 言 　　随着设计规模的不断扩大,设计的复杂度也呈指数级上升,从而验证工作的难度也越来越大。业界普遍认可当前验证工作已经占到了整个项目工作量的70%以上。与之相对应的,前期的RTL代码验证也愈来愈重要,对于大规模SoC设计如果在回片测试中发现重大缺陷意味着巨大的时间损失与金钱损失。大量的经验表明全面细致的RTL代码验证可以及早发现代码中隐藏的缺陷,极大缩短项目开发周期,降低项目开发的后期风险。 　　模拟验证使用计算机软件模拟RTL级电路的运行,易于实现各种复杂的应用场景,并可生成精确的仿真波形,是各种验证方法中最直接、发现缺陷最快的,并且模拟验证还可以在代码编写阶段与设计人员配合实现迭代开发。尽管FPGA仿真验证与形式验证凭其优势已在验证工作中占有了一定的地位,但是模拟验证始终是验证工作中最重要的组成部分。同时业界也一直为提高模拟验证的效率进行着验证方法学的研究。 　　作者承担的验证工作是验证一款网络芯片中支持Utopia Level2[1],GMII[2],Posphy Level2三种网络接口协议与芯片私有特性的网络接口模块。网络侧接口是网络芯片中重要的组成部分,其对网络协议的支持直接决定了一个网络芯片的成功与否。网络协议一直在不断被更新,网络芯片也在不停随之升级。本文的工作正是基于以上前提实现了一个网络侧接口的验证环境,该验证环境的重用性强,不仅支持上述协议,还可以轻松地增加对新协议的支持或对同种协议的升级。在系列芯片开发中使用此验证环境可有效减少后续开发对网络侧接口验证的资源投入。 　　1 验证架构及实现 　　1.1 验证环境设计 　　VMM是Synopsys推出的基于SystemVerilog语言的验证方法学。VMM从以OpenVera语言为基础的RVM发展而来,它的优点是:代码的可重用性强,验证的自动化程度高,可以有效保证验证的质量。VMM验证方法学在当今SoC设计领域已有广泛应用,为ASIC产品项目进度的提升提供了很大的帮助[3]。VMM库包括一系列的标准基本类,主要有vmm_data,vmm_atomic_gen,vmm_xactor,vmm_xactor_callbacks,vmm_channel,vmm_env,vmm_log等。通过对这些基本类的继承与重载,可构