基于功能覆盖的高级验证环境的研究与实现

2007 7th International Conference on ASIC Pub Date : 2007-10-01 DOI:10.1109/ICASIC.2007.4415863

Runshan Yang, Liji Wu, Jim Guo, Baorong Liu

{"title":"基于功能覆盖的高级验证环境的研究与实现","authors":"Runshan Yang, Liji Wu, Jim Guo, Baorong Liu","doi":"10.1109/ICASIC.2007.4415863","DOIUrl":null,"url":null,"abstract":"This paper developed an advanced function coverage-directed reusable ASIC verification environment with automatic verification vectors generation. A layered architecture is adopted for reusing; the verification vectors are randomly generated and the simulation results can be checked automatically. Further more, genetic algorithm is employed to improve the efficiency of the verification vectors generation. The result of experiments performed on a smart card showed this method to be effective and efficient.","PeriodicalId":120984,"journal":{"name":"2007 7th International Conference on ASIC","volume":"8 1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"The research and implement of an advanced function coverage based verification environment\",\"authors\":\"Runshan Yang, Liji Wu, Jim Guo, Baorong Liu\",\"doi\":\"10.1109/ICASIC.2007.4415863\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper developed an advanced function coverage-directed reusable ASIC verification environment with automatic verification vectors generation. A layered architecture is adopted for reusing; the verification vectors are randomly generated and the simulation results can be checked automatically. Further more, genetic algorithm is employed to improve the efficiency of the verification vectors generation. The result of experiments performed on a smart card showed this method to be effective and efficient.\",\"PeriodicalId\":120984,\"journal\":{\"name\":\"2007 7th International Conference on ASIC\",\"volume\":\"8 1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2007 7th International Conference on ASIC\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICASIC.2007.4415863\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2007 7th International Conference on ASIC","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICASIC.2007.4415863","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

本文开发了一种先进的功能覆盖导向的可重用ASIC验证环境，该环境具有自动生成验证向量的功能。采用分层架构实现重用;验证向量随机生成，仿真结果自动校验。在此基础上，采用遗传算法提高了验证向量的生成效率。在智能卡上进行的实验结果表明，该方法是有效的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

The research and implement of an advanced function coverage based verification environment

This paper developed an advanced function coverage-directed reusable ASIC verification environment with automatic verification vectors generation. A layered architecture is adopted for reusing; the verification vectors are randomly generated and the simulation results can be checked automatically. Further more, genetic algorithm is employed to improve the efficiency of the verification vectors generation. The result of experiments performed on a smart card showed this method to be effective and efficient.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2007 7th International Conference on ASIC

自引率

0.00%

发文量