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

作     者：程俊 CHENG Jun

作者机构：湖南师范大学物理与信息科学学院．湖南长沙410081 

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

出 版 物：《电脑知识与技术》 (Computer Knowledge and Technology)

年 卷 期：2010年第6卷第5期

页      码：3516-3517页

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

主 题 词：HDL 代码覆盖 功能覆盖 

学科分类：0711[理学-心理学类] 07[理学] 08[工学] 081101[081101] 0811[工学-水利类] 071102[071102] 081103[081103] 

D　O　I：10.3969/j.issn.1009-3044.2010.13.090

馆 藏 号：203687527...