覆盖率驱动的芯片功能验证设计与实现

• 作者: 何鸿君 徐炜遐 窦强 罗莉
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 覆盖率驱动 功能验证 PSL SystemVerilog
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 高性能计算
• 页码范围: 36-40
• 页数: 5页
• 分类号: TP302
• 字数: 2808字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2013.01.005

摘要

随着芯片集成度的发展,芯片性能越来越高,而上市时间越来越短,芯片验证在芯片设计中非常关键并贯穿于整个设计过程,验证的效率和质量直接决定着芯片的成败.提出了基于覆盖率驱动的芯片功能验证方法,定义了基于功能点覆盖率驱动的验证流程,利用PSL语言描述断言检查很有效,通过模拟工具检查断言是否成功,从而判断设计是否满足系统的功能要求.在网络接口芯片实际应用中,有效地降低了验证工作的复杂度,同时提高了验证的速度和质量.利用功能覆盖率数据判断测试激励的正确性和完整性,同时用覆盖率数据定量评价验证进程,提高了整个设计的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	窦强	国防科学技术大学计算机学院	21	84	5.0	8.0
2	何鸿君	国防科学技术大学计算机学院	18	84	5.0	8.0
3	罗莉	国防科学技术大学计算机学院	16	78	5.0	8.0
4	徐炜遐	国防科学技术大学计算机学院	12	32	3.0	5.0