SoC自动化验证方法的研究与实现

• 作者: 张莎莎 段青亚 苗硕 靳荣利 黄士坦
• 来源期刊: 吉林大学学报（信息科学版）
• 学科: 工学
• 关键词: SoC验证 事务验证模型 SoC自动化功能验证系统 测试覆盖率
• 年，卷（期）: 2010,（3）
• 页码范围: 231-237
• 分类号: TN47
• 字数: 5459字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-5896.2010.03.003

摘要

为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统(LSAVS:LiShan Automatic Verification System).采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄士坦	西安微电子技术研究所研发部	86	744	15.0	22.0
2	段青亚	西安微电子技术研究所研发部	9	53	6.0	7.0
3	靳荣利	西安微电子技术研究所研发部	3	14	2.0	3.0
4	张莎莎	西安微电子技术研究所研发部	4	11	1.0	3.0
5	苗硕	西安微电子技术研究所研发部	3	14	2.0	3.0