%0 Journal Article
%T Improvement of genetic algorithm in verification<br>遗传基因算法在验证中的改进
%A DING Ting-ting
%A SHEN Min
%A <br>丁婷婷
%A 申敏
%J 重庆邮电大学学报(自然科学版)
%D 2008
%I 
%X 随着SOC系统越来越复杂，将遗传基因算法应用于芯片验证，实现验证的自动化，可大幅度提高SOC验证的功能覆盖率。介绍了一种基于遗传算法的验证向量自动生成算法遗传基因算法，并在此基础上提出了一种改进算法，即生长算法。其思路是在遗传基因算法的基本原理上，通过由覆盖率较小的向量群成长为覆盖率较大的向量群。通过在SOC验证平台的应用证明了它们能快速达到较高覆盖率，缩短了验证周期。
%K 遗传基因算法
%K 生长算法
%K 功能覆盖率
%K 产生器
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=96E6E851B5104576C2DD9FC1FBCB69EF&jid=5C2694A2E5629ECD6B59D7B28C6937AD&aid=938707F476C2CEF535A7A09DC0DAB052&yid=67289AFF6305E306&vid=A04140E723CB732E&iid=0B39A22176CE99FB&sid=C5F8B8CB20F1B3D8&eid=0584DB487B4581F4&journal_id=1673-825X&journal_name=重庆邮电大学学报(自然科学版)&referenced_num=0&reference_num=5