作者：朱秋岩; 李东方毛刺形式验证故障注入等价电路故障传播
摘要：为解决SoC(system on chip)设计中无法在RTL(register transfer level)阶段验证毛刺存在及其影响问题，提出一种使用形式验证技术在RTL级检测毛刺的方法，同时提出RTL级毛刺故障注入方法。通过检测逻辑门输入同时翻转的原理设计毛刺检测电路，使用形式验证中断言实现检测电路；基于毛刺检测电路和毛刺在时序逻辑的影响，设计其影响等价电路，实现RTL级毛刺故障注入。实验结果表明，该方法能够准确检测毛刺存在并通过毛刺注入分析，进一步发现毛刺对电路功能的影响，将对毛刺的检测和影响分析提前到RTL级，减少了因后期毛刺故障带来的设计迭代和周期成本。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
