功能验证模拟矢量自动生成技术研究综述

• 作者: 李思昆 李暾 郭阳
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 模拟矢量自动生成 覆盖率 有限状态机 伪随机 高层ATPG
• 年，卷（期）: 2003,（6）
• 所属期刊栏目: 研究与实现
• 页码范围: 81-86
• 页数: 6页
• 分类号: TN407
• 字数: 6577字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2003.06.024

摘要

功能验证是保证设计正确性的重要手段,以模拟验证为主要方法.为了解决用尽可能少的模拟矢量尽可能全面地验证整个设计的问题,提出了各种模拟矢量自动生成方法.本文综述了各种方法,并比较各自的优缺点,分析了模拟矢量自动生成涉及的主要问题,最后指出了未来的研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李思昆	国防科技大学计算机学院	100	974	16.0	27.0
2	郭阳	国防科技大学计算机学院	50	449	9.0	20.0
3	李暾	国防科技大学计算机学院	19	186	5.0	13.0