突变分析如何对设计的安全性产生积极影响。
了解验证覆盖率对于满足IC完整性标准至关重要，并且远远超出了检测设计中的错误。如果没有适当的验证覆盖指标，可能无法达到严格的安全标准和认证。精确的度量可以指出验证中存在的差距，并提供验证工作中所取得进展的清晰视图。常见的仿真指标不精确，只测量控制覆盖率，导致验证质量严重缺乏。这些补救措施很耗时，并且会留下未被发现的bug，这些bug可能会严重影响设计安全。突变分析消除了风险，实现了安全验证。结果准确且可重复，并通过突出显示过度约束、死代码和冗余代码创建可靠的验证差距标识。
本教程将探讨突变分析如何对设计的安全性产生积极影响，并为实现适当的安全认证提供必要的验证信心。
此外，本教程将展示如何实现正式和模拟覆盖度量的有意义的集成。覆盖集成是许多验证工程师和经理长期以来的愿望，它减少了模拟和正式之间的工作重叠，并支持更快、更严格的签名。
点击在这里下载论文。
|
|
|
|
|
|
|
|
留下回复