[发明专利]一种对覆盖率进行数据挖掘加速验证收敛的方法

摘要

本发明公开了一种对覆盖率进行数据挖掘加速验证收敛的方法，其实现过程为：通过对验证覆盖率的数据进行时域分析以及与激励相关性的分析，对激励产生机制进行优化调整，使激励能更有效命中验证点，加速验证的收敛。该对覆盖率进行数据挖掘加速验证收敛的方法与现有技术相比，通过对验证覆盖率的数据进行时域分析以及与激励相关性的分析，对激励产生机制进行优化调整，使激励能更有效命中验证点，加速验证的收敛。本方法能极大提高逻辑验证的效率，缩短芯片开发周期，实用性高，易于推广。

主权项

1.一种对覆盖率进行数据挖掘加速验证收敛的方法，其特征在于，通过对验证覆盖率的数据进行时域分析以及与激励相关性的分析，对激励产生机制进行优化调整，使激励能更有效命中验证点，加速验证的收敛，其具体实现过程为：步骤一、首先产生测试激励，所述测试激励由指令集中的各种指令自由组合生成，该指令集中的指令包括跳转指令、寄存器传输指令、运算指令三类；步骤二、对覆盖率的时域行为进行分析，该覆盖率是指在仿真过程中不断被触发时的重复触发率，该步骤通过仿真软件记录每个验证点在仿真周期内的触发次数实现，所述验证点包括基本功能点、特殊情况功能点、错误处理功能点；步骤三、对验证点与指令集子集的相关性进行分析，计算出指令集子集的比重与指定验证点被命中的线性相关性，得到指定验证点被触发对应的仿真时间的分布以及对应的备选指令的比重，并以此为依据进行优化，使得在更少的时间内，得到更大的验证覆盖率。