本发明公开了一种备份cell替换电路验证方法、装置、存储介质和终端,提取备份cell替换电路转换为Verilog代码,失效cell替换完成后,根据随机生成需要进行数据配置替换地址进行仿真验证,判断仿真结果成功则再根据随机生成需要进行数据配置替换地址通过断言验证该地址是否在对应的时刻产生了替换使能信号,若是则说明备份cell替换电路对待测设计中失效cell的替换成功,反之替换失败;本方案通过将备份cell替换电路转成Verilog代码,系统可以自动随机生成需要进行数据配置替换地址,以及对替换情况进行自动检查,代替人工操作,极大地提高仿真速度;而且系统可以随机大量生成替换激励,大大增加验证覆盖率。
声明:
“备份cell替换电路验证方法、装置、存储介质和终端” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)