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

• 作者: 付修峰 杨鹏飞
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 覆盖率 断言FPGA 验证计划 功能验证
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 应用与开发
• 页码范围: 176-180
• 页数: 5页
• 分类号: TP311.52
• 字数: 3968字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2013.05.042

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨鹏飞		1	4	1.0	1.0
2	付修峰		1	4	1.0	1.0