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

التفاصيل البيبلوغرافية
العنوان: The research and implement of an advanced function coverage based verification environment
المؤلفون: Baorong Liu, Jim Guo, Runshan Yang, Liji Wu
المصدر: 2007 7th International Conference on ASIC.
بيانات النشر: IEEE, 2007.
سنة النشر: 2007
مصطلحات موضوعية: High-level verification, Physical verification, Application-specific integrated circuit, Computer engineering, Computer science, business.industry, Genetic algorithm, Runtime verification, Smart card, business, Computer hardware, Software verification, Intelligent verification
الوصف: 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.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7504d1d125a87279483d6f5e8632ba9c
https://doi.org/10.1109/icasic.2007.4415863
رقم الأكسشن: edsair.doi...........7504d1d125a87279483d6f5e8632ba9c
قاعدة البيانات: OpenAIRE