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

作者：杨凯峰; 张雪倩; 冯娇; 梁峰^*

来源：微电子学与计算机, 2021, 38(05): 25-29.

DOI：10.19304/j.cnki.issn1000-7180.2021.05.005

• 遗传进化算法
• 功能覆盖率
• 通用验证方法学
• RISC-V

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

• 单位
  西安交通大学