杨凯峰, 张雪倩, 冯娇, 梁峰. 基于遗传进化策略的处理器验证方案[J]. 微电子学与计算机, 2021, 38(5): 25-29.
引用本文: 杨凯峰, 张雪倩, 冯娇, 梁峰. 基于遗传进化策略的处理器验证方案[J]. 微电子学与计算机, 2021, 38(5): 25-29.
YANG Kai-feng, ZHANG Xue-qian, FENG Jiao, LIANG Feng. Research on verification method of processor based on genetic evolution strategy[J]. Microelectronics & Computer, 2021, 38(5): 25-29.
Citation: YANG Kai-feng, ZHANG Xue-qian, FENG Jiao, LIANG Feng. Research on verification method of processor based on genetic evolution strategy[J]. Microelectronics & Computer, 2021, 38(5): 25-29.

基于遗传进化策略的处理器验证方案

Research on verification method of processor based on genetic evolution strategy

  • 摘要: RISC-V作为近年来发展迅速的开源处理器架构,对其验证方法的研究具有很高的工业应用价值.提出了基于遗传进化策略的处理器验证优化方案,利用遗传算法产生指令的权重系数,为测试用例的生成确定方向,并对RISC-V处理器RV32I部分指令完成了模拟验证.与基于伪随机策略生成测试用例的方案相比,应用遗传进化策略生成测试用例时,能够维持对功能覆盖率贡献更高的方向,在验证末期即将陷入局部最优解时,仍然能够突破当前状态,使整体功能覆盖率进一步提高.同时,该验证优化方案对验证环境的调整实现了完全自动化,具有较高的可扩展性和可维护性.

     

    Abstract: As an open source processor architecture with rapid development in recent years, RISC-V has high industrial application value in the research of its verification method. In this paper, an optimization scheme of processor verification based on the genetic evolution strategy is proposed, which uses a genetic algorithm to generate instruction weight coefficients to determine the direction for the generation of test cases, and some instructions of RV32I of the RISC-V processor are simulated and verified.Compared with the scheme based on the pseudo-random strategy to generate test cases, the application of genetic evolution strategy to generate test cases can maintain a higher contribution to the function coverage.When it is about to fall into a locally optimal solution at the end of verification, it is still able to break out of the current state, allowing a further improvement of the overall functional coverage. At the same time, the verification optimization scheme realizes the automatic adjustment of the verification environment and has high scalability and maintainability.

     

/

返回文章
返回