基于形式验证的毛刺检测技术

摘要：

为解决SoC(system on chip)设计中无法在RTL(register transfer level)阶段验证毛刺存在及其影响问题,提出一种使用形式验证技术在RTL级检测毛刺的方法,同时提出RTL级毛刺故障注入方法.通过检测逻辑门输入同时翻转的原理设计毛刺检测电路,使用形式验证中断言实现检测电路;基于毛刺检测电路和毛刺在时序逻辑的影响,设计其影响等价电路,实现RTL级毛刺故障注入.实验结果表明,该方法能够准确检测毛刺存在并通过毛刺注入分析,进一步发现毛刺对电路功能的影响,将对毛刺的检测和影响分析提前到RTL级,减少了因后期毛刺故障带来的设计迭代和周期成本.

关键词：毛刺、形式验证、故障注入、等价电路、故障传播

所属期刊栏目：39

分类号：TP302(计算技术、计算机技术)

在线出版日期：2018-11-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：3290-3295