| SoC自动化验证方法的研究与实现 |
| |
| 引用本文： | 段青亚,黄士坦,靳荣利,张莎莎,苗硕.SoC自动化验证方法的研究与实现[J].长春邮电学院学报,2010(3):231-237. |
| |
| 作者姓名： | 段青亚 黄士坦 靳荣利 张莎莎 苗硕 |
| |
| 作者单位： | 西安微电子技术研究所研发部,西安710054 |
| |
| 基金项目： | 中国人民解放军总装备部预研重点基金资助项目（9140A16010407HT6902） |
| |
| 摘 要： | 为解决SoC（System-on-Chip）验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。
|
| 关 键 词： | SoC验证 事务验证模型 SoC自动化功能验证系统 测试覆盖率 |
Study and Implementation on Method of SoC Automatic Verification |
| |
| DUAN Qing-ya,HUANG Shi-tan,JIN Rong-li,ZHANG Sha-sha,MIAO Shuo.Study and Implementation on Method of SoC Automatic Verification[J].Journal of Changchun Post and Telecommunication Institute,2010(3):231-237. |
| |
| Authors: | DUAN Qing-ya HUANG Shi-tan JIN Rong-li ZHANG Sha-sha MIAO Shuo |
| |
| Affiliation: | (Department of Research and Development,Xian Microelectronics Technique Institute,Xian 710054,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | system-on-chip（SoC） verification transaction verification module system-on-chip（SoC） automatic verification system test coverage |
| 本文献已被 维普 等数据库收录！ |
|
