摘要: 首先介绍多重覆盖率导向结合断言的FPGA(Field Programmable Gate Array)验证方法,然后以FPGA总线仲裁器的功能验证为背景,制定了FPGA总线仲裁器模块的验证策略和验证计划,并利用多重覆盖率导向结合断言的验证方法对FPGA总线仲裁器模块进行实际验证。实验结果表明,该方法可以有效地保证验证的充分性,缩短功能验证的时间。
中图分类号:
杨鹏飞;付修峰. 多重覆盖率导向结合断言的FPGA验证方法研究及应用[J]. 计算机与现代化, 2013, 1(5): 176-180.
YANG Peng-fei;FU Xiu-feng. Research and Application of Multiple Coverage-oriented Combined with Assertions FPGA Verification Method[J]. Computer and Modernization, 2013, 1(5): 176-180.