覆盖方法在HDL测试中的应用

摘要：

基于仿真的验证和形式验证是用于测试的两种方法.由于形式验证难以用于大型设计的测试,所以HDL验证的主要方法是通过大量的测试向量仿真HDL代码来完成.实际中一般运用覆盖方法来分析仿真的完备性,虽然100%的覆盖并不能表明程序100%的没有错误,但却是衡量测试是否完成的一个重要标准.文中主要分析了代码覆盖和功能覆盖方法,并给出了具体例子.

关键词：HDL、代码覆盖、功能覆盖

所属期刊栏目：6

分类号：TP15(自动化基础理论)

资助基金：湖南师范大学自然科学研究课题531120-1192

在线出版日期：2010-08-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：3516-3517