计算机与现代化 ›› 2013, Vol. 1 ›› Issue (5): 176-180.doi: 10.3969/j.issn.1006-2475.2013.05.042

• 应用与开发 • 上一篇    下一篇

多重覆盖率导向结合断言的FPGA验证方法研究及应用

杨鹏飞,付修峰   

  1. 北京计算机技术及应用研究所,北京100854
  • 收稿日期:2013-01-17 修回日期:1900-01-01 出版日期:2013-05-28 发布日期:2013-05-28

Research and Application of Multiple Coverage-oriented Combined with Assertions FPGA Verification Method

YANG Peng-fei, FU Xiu-feng   

  1. Beijing Computer Technology and Application Institute, Beijing 100854, China
  • Received:2013-01-17 Revised:1900-01-01 Online:2013-05-28 Published:2013-05-28

摘要: 首先介绍多重覆盖率导向结合断言的FPGA(Field Programmable Gate Array)验证方法,然后以FPGA总线仲裁器的功能验证为背景,制定了FPGA总线仲裁器模块的验证策略和验证计划,并利用多重覆盖率导向结合断言的验证方法对FPGA总线仲裁器模块进行实际验证。实验结果表明,该方法可以有效地保证验证的充分性,缩短功能验证的时间。

关键词: 覆盖率, 断言 FPGA, 验证计划, 功能验证

Abstract: First, this paper introduces verification method for FPGA based on multiple coverageoriented combined with assertions, then with the functional verification of a bus arbiter module as background, verification strategy and verification plan for FPGA bus arbiter module is established, the method of multiple coverage-oriented combined with assertion is adopted to verify the bus arbiter module. The experimental results show that verification method for FPGA based on kinds of coverage combined with assertion can ensure the adequacy of the verification of and shorten the time of functional verification.

Key words: coverage, assertion FPGA, verification plan, functional verification

中图分类号: