带有对抗性噪声的忠实二进制电路模型
摘要：精确的延迟模型对于静态和动态时序分析以及形式验证至关重要。然而，F"ugger等人[IEEE TC 2016]证明了在ModelSim、NC-Sim和VCS等最先进的工具中用于动态时序分析的纯延迟和惯性延迟并不能产生忠实的数字电路模型。基于延迟函数的数学用纸依赖于前一输出到输入时间偏移的反演延迟被F"ugger等人[DATE'15]作为一种忠实的替代方法引入(可以轻松地与现有工具一起使用)。尽管证明了反演延迟能够相当准确地预测实际信号轨迹，但带有确定性延迟函数的模型在建模能力方面存在自然限制。因此，在本文中，我们通过添加非确定性的延迟变化(随机的或甚至是对抗性的)，扩展了反演模型，并在理论上证明了这种推理性不会受到这种泛化的影响。虽然为了确保这一特性，非确定性的量必须得到相当限制，但结果令人惊讶:反演模型与非真实模型的主要不同之处在于处理快速毛刺信号上，其中小的延迟偏移会产生较大的影响。这最初表明，即使加入了很小的变化，也应该破坏模型的真实性，但事实证明并非如此。此外，我们的仿真结果也证实了这种广义反演模型具有更大的建模能力和适用性。
作者：Matthias F"ugger and J"urgen Maier and Robert Najvirt and Thomas Nowak and Ulrich Schmid
论文ID：2006.08485
分类：Other Computer Science
分类简称：cs.OH
提交时间：2021-12-08