[发明专利]备份cell替换电路验证方法、装置、存储介质和终端

权利要求书

1.一种备份cell替换电路验证方法，其特征在于，具体包括以下步骤：

S1：提取备份cell替换电路并转换为Verilog代码；

S2：打开备份cell替换电路使能；

S3：随机生成需要进行数据配置替换的地址；

S4：对待测设计的失效cell替换完成后，根据所述随机生成需要进行数据配置替换的地址进行仿真验证，得到仿真结果；

S5：根据仿真结果判断仿真验证是否成功，若成功，执行S6，若不成功，执行S8；

S6：根据所述随机生成需要进行数据配置替换的地址判断该地址是否在对应的时刻产生了替换使能信号，是则执行S7，否则执行S8；

S7：备份cell替换电路验证成功，输出验证结果；

S8：备份cell替换电路验证不成功，输出验证结果。

2.根据权利要求1所述的备份cell替换电路验证方法，其特征在于，所述S1中，通过软件提取备份cell替换电路转换为Verilog代码。

3.根据权利要求2所述的备份cell替换电路验证方法，其特征在于，通过chipsmith软件提取备份cell替换电路转换为Verilog代码。

4.根据权利要求1所述的备份cell替换电路验证方法，其特征在于，所述S4和S5具体包括以下步骤：

s01：根据所述随机生成需要进行数据配置替换的地址，对参考模型和待测设计分别发送写指令；

s02：根据所述随机生成需要进行数据配置替换的地址，对参考模型和待测设计分别发送读指令，读出参考模型和待测设计写入的数据；

s03：判断参考模型读出的数据和待测设计读出的数据是否一致，是则执行S6，否则执行S8。

5.根据权利要求1所述的备份cell替换电路验证方法，其特征在于，所述S6中，根据所述随机生成需要进行数据配置替换的地址，通过断言验证判断该地址是否在对应的时刻产生了替换使能信号。

6.一种备份cell替换电路验证装置，其特征在于，包括：

电路提取模块，提取备份cell替换电路并转换为Verilog代码；

使能打开模块，打开备份cell替换电路使能；

地址生成模块，随机生成需要进行数据配置替换的地址；

仿真验证模块，对待测设计的失效cell替换完成后，根据所述随机生成需要进行数据配置替换的地址进行仿真验证，得到仿真结果；

第一判断模块，根据仿真结果判断仿真验证是否成功；

第二判断模块，根据所述随机生成需要进行数据配置替换的地址判断该地址是否在对应的时刻产生了替换使能信号；

验证结果输出模块，输出验证结果。

7.根据权利要求6所述的备份cell替换电路验证装置，其特征在于，所述仿真验证模块包括：

写指令发送模块，根据所述随机生成需要进行数据配置替换的地址，对参考模型和待测设计分别发送写指令；

读指令发送模块，根据所述随机生成需要进行数据配置替换的地址，对参考模型和待测设计分别发送读指令，读出参考模型和待测设计写入的数据；

第三判断模块，判断参考模型读出的数据和待测设计读出的数据是否一致。

8.根据权利要求6所述的备份cell替换电路验证装置，其特征在于，所述第二判断模块采用断言验证判断模块。

9.一种存储介质，其特征在于，所述存储介质中存储有计算机程序，当所述计算机程序在计算机上运行时，使得所述计算机执行权利要求1至5任一项所述的方法。

10.一种终端，其特征在于，包括处理器和存储器，所述存储器中存储有计算机程序，所述处理器通过调用所述存储器中存储的所述计算机程序，用于执行权利要求1至5任一项所述的方法。