期刊文献+

基于VMM的流量管理芯片验证 被引量:1

Verification of Traffic Managing Chip Based on VMM
下载PDF
导出
摘要 流量管理芯片的验证是目前业界的热点与难点,验证工程师们一直在努力寻找用于流量测量的较好方法。采用System Verilog语言,基于Synopsys公司最新推出的验证方法学VMM,提出一种用于流量管理芯片验证的分层次验证环境。该环境对流量测量方法进行重点研究,放弃采用参考模型的传统验证思路,提供一种参考基准可变,时间窗位置可移,长度可调的,可在不同设计间高度重用的流量检测机制。该验证环境及验证方法在海思半导体某流量管理芯片开发过程中的成功应用,保证了芯片开发质量,缩短了项目开发周期,为其他同类芯片的开发提供了强有力的支持。 The verification of traffic managing chip is currently the hotspot and difficulty in this field. Verification engineers have been trying their best to find a better way to traffic measurement. Adopting System Verilog,based on VMM library supplied by Synopsys, one layered verification environment is presented. Focusing on the research of traffic measurement, abandoning the traditional verification thought with RM, the environment provides one traffic check mechanism,in which reference benchmark is variable, time window is movable and time length is adjustable. Successful application of the verification environment and methods introduced in this article in traffic managing chip in Hisilicon not only shorten the period and assure the quality but also strongly supportd the development of congeneric chips.
出处 《现代电子技术》 2009年第12期15-18,共4页 Modern Electronics Technique
关键词 VMM 流量管理 芯片 验证 VMM traffic managing chip verification
  • 相关文献

参考文献12

二级参考文献18

  • 1[1]SystemVerilog 3.1a LRM http://www.eda.org/sv/SystemVerilog_3.1 a.pdf
  • 2[2]SystemVerilog Symposium 2003 -Basic Training,Methodology & Overview,Enhancements for Design & Verificatio http://www.sunburst-design.com
  • 3[3]Dave Kelf,"How to Make the Verilog Productivity Leap Using SystemVerilog," in Compiler magazine,Feb.2003.Available on http://www.synopsys.com/news/pubs/compiler/art3_sll-feb03.html
  • 4[4]Richard Goering,"Cadence IEEE donation overlaps SystemVerilog," EE Times,June 2,2003.Available on http://www.eede sign.com/news/OE G20030602S0116
  • 5[5]SystemVerilog Strategy,Plans and Proposal to address issues,Available on http://www.eda.org/sv-ec/hm/0354.html
  • 6[6]Richard Goering,"Accellera approves SystemVerilog and three other standards," EE Times,May 30,2003.Available on http://www.eedesign.com/story/OEG20030530S0020
  • 7[7]Janick Bergeron,Writing Testbenches:Functional Verification of HDL Models,2nd ed.,Kluwer Academic Publishers,Boston,2003.
  • 8[1]Verification Methodology Manual.Synopsys.Inc.&ARM,Inc.
  • 9[2]Using the Design Ware Verification Models for the AMBA 3 Protocol.Synopsys,Inc.
  • 10[1]IEEE Std 1800TM-2005 IEEE Standard for SystemVerilog-Unified Hardware Design,Specification,and Verification Language

共引文献22

同被引文献8

  • 1董杨鑫,郑建宏.基于断言的SoC设计验证方法[J].电子测试,2007,18(9):52-55. 被引量:2
  • 2Qiu Li, Feng Dong-qin. of EPA Chip. [C]// Proc. on Electric Information (ICEICE) 2011.[S.l.]:IEEE Functional Verification International Conference and Control Engineering Press, 2011:1-5.
  • 3陈皓.跟我一起写Makefile.[EB/OL].[2012-06-18].http://www.Cublog.cn/u/19881/upfile/060718103303.pal.
  • 4Carl Pixley, Aruna Chittor, Fred Meyer. Functional Verification 2003:Technology, Tools and Methodology. [C]// Proc. ASIC, 2003. [S. l. ] :IEEE Press, 2003: 1-5.
  • 5Randal L. Scbwartz, Tom Pboenix. Perl语言入门[M].南京:东南大学出版社,2009.
  • 6O. Petlin, A. Genusov, L. Wakeman. METHODOLOGY AND CODE REUSE IN THE VERIFICATION OF TELECOMMUNICATION SOCs [C]// Proc. 13th Annual IEEE International ASIC/SOC Conference, 2000. [S. l. ] :IEEE Press, 2000:187-191.
  • 7褚晓滨,陆铁军,宗宇.结合断言与覆盖率为导向的验证方法[J].微电子学与计算机,2008,25(11):39-42. 被引量:12
  • 8侯海军,郭斌林.基于VMM的芯片验证平台设计[J].中国水运(下半月),2008,8(12):111-112. 被引量:2

引证文献1

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部