论文部分内容阅读
为解决SoC(system on chip)设计中无法在RTL(register transfer level)阶段验证毛刺存在及其影响问题，提出一种使用形式验证技术在RTL级检测毛刺的方法，同时提出RTL级毛刺故障注入方法。通过检测逻辑门输入同时翻转的原理设计毛刺检测电路，使用形式验证中断言实现检测电路；基于毛刺检测电路和毛刺在时序逻辑的影响，设计其影响等价电路，实现RTL级毛刺故障注入。实验结果表明，该方法能够准确检测毛刺存在并通过毛刺注入分析，进一步发现毛刺对电路功能的影响，将对毛刺的检测和影响分析