备份cell替换电路验证方法、装置、存储介质和终端专利查询专利号|摘要-满商公司网

备份cell替换电路验证方法、装置、存储介质和终端

基本信息

申请号	CN202011554831.5	申请日	-
公开（公告）号	CN112464500B	公开（公告）日	2021-10-29
申请公布号	CN112464500B	申请公布日	2021-10-29
分类号	G06F30/20（2020.01）I	分类	计算；推算；计数;
发明人	张新展;陈胜源;朱雨萌;张宇	申请（专利权）人	芯天下技术股份有限公司
代理机构	佛山市海融科创知识产权代理事务所（普通合伙）	代理人	陈志超;唐敏珊
地址	518000广东省深圳市龙岗区园山街道荷坳社区龙岗大道8288号大运软件小镇10栋101
法律状态	-

摘要

本发明公开了一种备份cell替换电路验证方法、装置、存储介质和终端，提取备份cell替换电路转换为Verilog代码，失效cell替换完成后，根据随机生成需要进行数据配置替换地址进行仿真验证，判断仿真结果成功则再根据随机生成需要进行数据配置替换地址通过断言验证该地址是否在对应的时刻产生了替换使能信号，若是则说明备份cell替换电路对待测设计中失效cell的替换成功，反之替换失败；本方案通过将备份cell替换电路转成Verilog代码，系统可以自动随机生成需要进行数据配置替换地址，以及对替换情况进行自动检查，代替人工操作，极大地提高仿真速度；而且系统可以随机大量生成替换激励，大大增加验证覆盖率。