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

Study and Implementation on Method of SoC Automatic Verification

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

机构地区：[1]西安微电子技术研究所研发部,西安710054

出　　处：《吉林大学学报（信息科学版）》2010年第3期231-237,共7页Journal of Jilin University（Information Science Edition）

基　　金：中国人民解放军总装备部预研重点基金资助项目(9140A16010407HT6902)

摘　　要：为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统(LSAVS:LiShan Automatic Verification System)。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。To improve the SoC（System-on-Chip） verification coverage and to reduce the workload of verification-engineers,a hierarchical automatic function verifiacation system LSAVS（LiShan Automatic Verification System） with independent intellectual property rights based on the reuse idea,transaction verification model and the method of random stimulus generation is proposed.Using this verifiacation system,the workload of test-cases developing for SoC verification-engineers is reduced to 10% from 60%.And 100% function coverage is guaranties.Hence,the aim of fast and high verification coverage is reached.

关 键 词：SOC验证 事务验证模型 SoC自动化功能验证系统 测试覆盖率 

分 类 号：TN47[电子电信—微电子学与固体电子学]