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

作者：段青亚; 黄士坦; 靳荣利; 张莎莎; 苗硕

来源：吉林大学学报(信息科学版), 2010, (03): 231-237.

• SoC验证
• 事务验证模型
• SoC自动化功能验证系统
• 测试覆盖率 system-on-chip(SoC) verification
• transaction verification module
• system-on-chip(SoC) automatic verification system
• test coverage

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

• 出版日期2010
• 单位西安微电子技术研究所