期刊文献+

基于VMM统一验证平台的Serdes芯片验证 被引量:2

The Serdes core verification based on VMM uniform verification platform
下载PDF
导出
摘要 本文基于VMM验证平台,介绍了高速串行收发器芯片的验证方法。文章首先简要介绍了Serdes芯片和VMM验证方法,然后搭建了Serdes芯片的VMM统一验证平台,并从测试激励产生、寄存器读写控制、覆盖率自动统计、断言验证及覆盖率收敛等几个方面详细阐述了Serdes芯片的验证过程。最后给出了验证结果和测试报告。 This paper mainly presents the verification method of high speed serial interface core which is based on VMM uniform verification platform.The Serdes core and the VMM verification method are introduced in this paper firstly,Then the VMM uniform verification platform of Serdes core is built,and it also describes the Serdes verification process in detailed which includes the test patterns generating,automatic calculating of coverage,assertion verification and coverage convergence.Both the verification results and the test reports are given at the end of this paper.
作者 张杰 孙立宏
出处 《中国集成电路》 2012年第4期43-47,共5页 China lntegrated Circuit
关键词 SERDES VMM 断言验证 功能覆盖率验证 Serdes(Serial & Deserial) VMM Verification of assertion Functional coverage verification
  • 相关文献

参考文献9

  • 1江龙,马琪.基于事务的功能验证方法及其在设计验证中的运用[J].计算机与现代化,2008(10):110-112. 被引量:2
  • 2Yang Guo,Wanxia Qu,Tun. Coverage Driven Test Generation Framework for RTL Functional Verification[J].Computer-Aided Design and Computer Graphics,2007.321-326.
  • 3A. Benso,A.Bosio,S.Di Carlo. A Functional Venrication hased Fault Injection Environment[A].2007.114-122.
  • 4Yong-Zhi Yan,Hong Wang,Zhi-Jia Yang. Research of Design and Verification of FieldBus Communication Control ASIC FBC1OO-H1[A].2007.882-885.
  • 5王堃,许文强,马卓.PCI Express中2.5Gbps高速SerDes的设计与实现[J].计算机工程与科学,2009,31(11):62-65. 被引量:4
  • 6Yingpan Wu,Lixin Yu. A Coverage-Driven Constraint Random-Based Function Verification Method of Pipeline Unit[A].2009.1049-1054.
  • 7Martin Keaveney,Anthony McMahon,Niall. The Development of Advanced Verification Environments Using System Verilog[A].
  • 8Mark Glasser;Adam Rose;Tom Fitzpatrick;王欣.高级验证方法学[M]成都:电子科技大学出版社,2007127-128.
  • 9Francine Bacchini,Alan J. Hu. Verification Coverage:When is Enough[A].2007.744-745.

二级参考文献14

  • 1陈莹梅,王志功,熊明珍,章丽.2.5Gb/s Monolithic IC of Clock Recovery,Data Decision,and 1∶4 Demultiplexer[J].Journal of Semiconductors,2005,26(8):1532-1536. 被引量:2
  • 2邹杰,杨建宁.基于FPGA的UART控制器的设计和实现[J].微计算机信息,2005,21(08Z):111-113. 被引量:8
  • 3[美]Budruk R,Anderson D,Shanley T.PCI Express系统体系结构标准教材[M].田玉敏,王崧,张波译.北京:北京电子工业出版社,2005.
  • 4PCI Express Base Specifications Revision 1.0a[S]. PCI SIG, 2003.
  • 5Ramezani M. Gigabit Per Second Clock and Data Recovery Circuits for Local Area Networks[D]. University of Toronto, 2004.
  • 6Razavi B. Monolithic Phase-Locked Loops and Clock Recovery Circuits: Theory and Design[M]. New York: IEEE Press, 1996.
  • 7[美]拉申卡,帕特森,信赫.系统芯片(SoC)验证方法与技术[M].孙海平,丁健译.北京:电子工业出版社.2005.
  • 8Dhananjay S Brahme, Steven Cox, Jin Gallo, Mark Glasser, William Grundman. The Transaction Based Verification Methodology[ EB/OL]. Cadence Berkeley Labs, http://www, mentor, com/, 2000-08-31.
  • 9Janick Bergeron. Writing Testbench Function Verification of HDL Models[ M ]. Kluwer Academic Publishes, 2003.
  • 10William K Lam. Hardware Design Verification Simulation and Formal Method-Based Approaches[ M]. Prentice Hall PTR, March 03,2005.

共引文献4

同被引文献11

  • 1Janick Bergeron. Writing testbenches using system verilog.Springer出版社.2006:213.
  • 2Stefan Parkvall, Erik Dahlman, Anders Furuskar, Ylva Jading, Magnus Olsson, Stefan Wanstedt, Kambiz Zangi. LTE-advanced - Evolving LTE towards IMT-advanced [J]. IEEE. 2008.03 : 1-5.
  • 3Janick Bergeron, Eduard Cerny(夏宇闻译).SystemVerilog验证方法学.北京航空航天大学出版社,2007.
  • 4钟丈枫.SystemVerilog与功能验证.机械工业出版社,2010.
  • 5高西全,丁玉美.数字信号处理(第三版).西安电子科技大学出版社.2010.
  • 63GPPREV-080029.LTE-Aanced Requrirements and Targets[J].Sweden:Ericsson,2008.
  • 7Harvind Samra Zhi Ding. A hybrid ARQ protccol u sing integrated channel eclualization[J]. IEEE Trans- actions Communicalions, 2005,53 ( 12 ) : 1996-2001.
  • 83GPP TS6. 212, 3rd Generation Partnership Project. Multiplexing and Channel coding[S]. 3GPP, vl0. 3. 0 2011, 9.
  • 93Gpp TS36. 211, 3rd Generalion Parlnershilp Project Physi- cal Channels and Modulation[S]. 3GPP, v10.3.02011,9.
  • 103Gpp TS36. 213, 3rd Generalion Parlnershilp Project Physi- cal Channels and Modulation[S]. 3GPP, v10.3.02011,9.

引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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