高级检索

    基于遗传算法的全芯片级覆盖率驱动随机验证技术

    A Coverage Directed Test Generation Platform for Microprocessors Using Genetic Approach

    • 摘要: 随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法应用在覆盖率反馈驱动随机测试生成时,不需要复杂的领域先验知识,节约了大量的专家时间,提高了验证的自动化程度.分析了各种基于遗传算法的覆盖率驱动的随机测试生成方法,并在此基础上设计和实现了基于遗传算法的全芯片级覆盖率驱动随机验证平台.该平台被实际应用在龙芯处理器的验证中,实验结果表明,平台有效提高了验证效率.

       

      Abstract: Due to the increasing system complexity of the hardware design and stringent time-to-market constraint, how to generate high quality test cases to meet the requirement of functional verification is still a major challenge in a typical design cycle. Random test generation technology is one of the most important methods for the verification of modern VLSI. Specifically, coverage directed test generation (CDG), which provides an efficient way for closing a feedback loop from the coverage domain back to the generator that produces potential high quality stimuli to DUV, is the main workhorse in todays random test generation study. Genetic algorithms are intelligent approach to automate the generation of effective solution for black-box optimization without requirements of experience knowledge and resources. In this paper, the authors present GA based CDG, a coverage directed test generation platform, where directives are continuously updated according to feedback based on present functional coverage reports, for the full-chip level verification of microprocessors based on deep discussion and analysis of coverage directed test generation technology using genetic approach. CDG has been taken into practice at the ICT for the verification of a general RISC microprocessor—GODSONI. Experimental results show that CDG can apparently accelerate the verification process and improve the reached coverage from 83.3% to 91.7% compared with original CRPG after about 600 million instructions have been simulated, which implies that verification efficiency is greatly improved and skilled manpower is cut down dramatically.

       

    /

    返回文章
    返回