期刊文献+

一种基于功能覆盖率的验证环境的构建方法 被引量:3

A Coverage-driven Method to Construct Verification Environment
下载PDF
导出
摘要 首先介绍了功能覆盖率和层次化Testbench,然后将两者结合起来介绍了一种基于功能覆盖率的验证环境的构建方法。论文结合作者设计的“龙腾R2”总线接口单元的验证平台,对这一方法作了详细的介绍。通过与“龙腾R1”总线接口单元的验证方法比较显示,笔者搭建的验证平台的验证时间缩短25%。 Firstly,the paper introduces the concept of function coverage and layered testbench.Then the paper puts them together,bringing up a coverage-dirven method to construct verification environment.The method is explained thoroughly through a testbench design of the bus interface unit(BIU) in "LongTium R2".Comparing with the method verifying the BIU in "LongTium R1",the method used by the author can shorten the verification time by 25 percents.
出处 《计算机工程与应用》 CSCD 北大核心 2006年第5期88-90,96,共4页 Computer Engineering and Applications
基金 国家部委预研资助项目
关键词 功能点 功能覆盖率 验证环境 Testbench 总线接口 functional point, functional coverage, verification environment, testbench, bus interface
  • 相关文献

参考文献4

  • 1Synopsys.Reference Verification Methodology.Version 6.2,2004-03.
  • 2Cadence.Transaction-based Verification Guide Product.Version 5.0, 2003 -03.
  • 3Janick Bergeror.Writing Testbech-Function Verification of HDL Models[M].Boston:Kluwer Academic Publishers,2000.
  • 4李瑛,张盛兵,高德远.Verilog Testbench设计技巧和策略[J].计算机工程与应用,2003,39(10):128-130. 被引量:7

二级参考文献1

  • 1BhaskerJ著 徐振林等译.Verilog HDL硬件描述语言[M].北京:机械工业出版社,.2000-07.

共引文献6

同被引文献31

引证文献3

二级引证文献13

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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