吉林大学学报（信息科学版）
吉林大學學報（信息科學版）
길림대학학보（신식과학판）
JOURNAL OF JILIN UNIVERSITY(INFORMATION SCIENCE EDITION)
2010年
3期
231-237
,共7页
段青亚%黄士坦%靳荣利%张莎莎%苗硕
段青亞%黃士坦%靳榮利%張莎莎%苗碩
단청아%황사탄%근영리%장사사%묘석
SoC验证%事务验证模型%SoC自动化功能验证系统%测试覆盖率
SoC驗證%事務驗證模型%SoC自動化功能驗證繫統%測試覆蓋率
SoC험증%사무험증모형%SoC자동화공능험증계통%측시복개솔
为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统(LSAVS:LiShan Automatic Verification System).采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的.
為解決SoC(System-on-Chip)驗證覆蓋率和工作量問題,基于可重用思想、採用事務驗證模型、隨機激勵生成的方法,建立瞭一箇層次化的具有自主知識產權的自動化功能驗證繫統(LSAVS:LiShan Automatic Verification System).採用該驗證繫統後,SoC驗證工程師開髮測試嚮量的工作量由使用傳統驗證方法的60%降低到10%,同時保證瞭功能驗證100%的覆蓋率,達到快速高覆蓋率的驗證目的.
위해결SoC(System-on-Chip)험증복개솔화공작량문제,기우가중용사상、채용사무험증모형、수궤격려생성적방법,건립료일개층차화적구유자주지식산권적자동화공능험증계통(LSAVS:LiShan Automatic Verification System).채용해험증계통후,SoC험증공정사개발측시향량적공작량유사용전통험증방법적60%강저도10%,동시보증료공능험증100%적복개솔,체도쾌속고복개솔적험증목적.
