一场验证危机即将来临，仅靠改进验证方法和技术将无法解决。为了克服危机，我们的设计方式需要进行整体和理念上的改变，以错误预防为基础。我们提议的实施此改变的第一步是将静态分析紧密集成到设计流程中，从而降低错误密度，进而给下游流程带来积极影响，并因此降低成本。
一场验证危机即将来临，仅靠改进验证方法和技术将无法解决。为了克服危机，我们的设计方式需要进行整体和理念上的改变，以错误预防为基础。我们提议的实施此改变的第一步是将静态分析紧密集成到设计流程中，从而降低错误密度，进而给下游流程带来积极影响，并因此降低成本。
