期刊文献+

通信系统中SystemC可重用验证平台的设计 被引量:2

Design of SystemC-based reusable test bench for communication systems
下载PDF
导出
摘要 文章以SystemC为验证语言的通信系统的可重用验证平台的设计思路,通过层次化设计,将验证平台划分为4个层次:用户层、配置管理层、总线功能模型层和待测设计层。介绍了各层接口的通信方式,着重介绍了用户层模块、算法模块、端口模块、激励产生模块、总线功能模块以及结果比较模块重用设计方法,依照此方法能快速高效地搭建可重用的验证平台。 This paper presents the considerations of designing a SystemC-based reusable test bench for communication systems,which is divided into 4 layers,i.e.user end layer,configuration and management layer,Bus Function Module(BFM) layer and Design Under Test(DUT) layer.It introduces the modes of communication and interfaces for each layer and focuses on the design method for reusable core modules such as user end module,algorithm modules,port modules,stimulus modules,BFM modules and scoreboard modules.A reusable test bench can be fast and efficiently built by using this method.
作者 王琛 陈永洲
出处 《光通信研究》 北大核心 2010年第3期11-13,25,共4页 Study on Optical Communications
基金 国家"九七三"计划资助项目(2010CB328300)
关键词 验证平台 可重用性 受控随机激励 总线功能模型 test bench reusability controlled randomized stimulus BFM
  • 相关文献

参考文献5

  • 1Black David C,Donovan Jack.From the Ground Up[M].New York:Kluwer Academic Publishers,2004.
  • 2John Rose,Stuart Swan.SCV Randomization[Z].USA:Cadence Design System,Inc,2003.
  • 3IEEE Std 1666-2005,SystemC Language Reference Manual[S].
  • 4陈曦,徐宁仪.SystemC片上系统设计[M].北京:科学出版社,2003.120-121.
  • 5Janick Bergeron.Writing Testbench Function Verification of HDL Model.Second Edition[M].New York:Kluwer Academic Publishers,2006.

共引文献3

同被引文献18

  • 1李挥,陈曦.SystemC电子系统级设计[M].北京:科学出版社,2010.
  • 2Bhasker J.SystemC入门(第2版)[M].夏宇闻,甘伟译.北京:北京航空航天大学出版社,2009.
  • 3Silverira G S,Brito A V,Melcher E.Functional verification of power gate design in SystemC RTL[C]//Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design:Chip on the Dunes.2009.
  • 4Hylla K,Oetjens J H,Nebel W.Using SystemC for an extended MATLAB/Simulink verification flow[C]//Forum on Specification Verification and Design Languages.2008:221-226.
  • 5Habibi A,Tahar S.Design for verification of SystemC transaction level models [C]//Proceedings of the Conference on Design, Automation and Test in Europe.2005.
  • 6Armoni R,Korchemny D,Tiemeyer A,et al.Deterministic dynamic monitors for linear-time assertions[C]//Proc.Workshop on Formal Approachesto Testing and Runtime Verification.2006.
  • 7Ball T,Cook B,Levin V,et al.SLAM and static driver verifier:Technology transfer of formal methods inside Microsoft[C]//Proc.4th Int’l Conf. on Integrated Formal Methods.2004:1-20.
  • 8Barnett M,DeLine R,Fahndrich M,et al.Verification of object-oriented programs with invariants[J].J.of Object Technology,2004,3(6):267-273.
  • 9Bentley B.High level validation of next-generation microprocessors[C]//Proc.IEEE Int’l Workshop on High Level Design Validation and Test.2002:31-35.
  • 10Paper P.Formal techniques for SystemC verification[C]//DAC 2007.San Diego,California,USA,2007.

引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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