时序等价性检查相关论文
由于经典的基于故障模拟的软错误可靠性分析方法不完备,而已有的基于形式化技术的方法虽然完备却又需要经验和专家支持.为此,提出......
随着集成电路设计与制造工艺的飞速发展,空间辐射和噪声干扰等环境因素引发的软错误严重威胁设计可靠性。为了同时满足性能、功耗......
随着IC制造工艺的不断进步，组合逻辑电路中电气掩盖效应和时钟窗口掩盖效应都被极大程度的削弱了。最新研究指出IC设计的特征尺寸缩......
