在eda领域有一些重新定位。它涉及到Synopsys通过收购SpringSoft获得的流行的Verdi工具。作为一种灵活的调试工具，它还具有开放的脚本环境，允许工程师访问快速信号数据库(FSDB)文件中的数据。有了这个功能，人们已经在一段时间内临时将分析实用程序绑定到Verdi上。

这一点在Synopsys并没有被忽视，他们现在正在重新定位Verdi:它不再只是用于调试。虽然在扩展的产品组合中仍然包含调试，但Synopsys正在添加一些不一定适合调试配置文件的功能。

其中之一就是威尔第报道。这是为了帮助建立和跟踪与设计需求紧密同步的验证计划。这个概念对于在软件领域见过LDRA等公司的类似工具的人来说可能很熟悉。

这里的假设是验证测试源于需求。(如果它不是必需的，那么你为什么要测试它?)所有的需求都应该记录在需求文档中。Verdi覆盖允许您将测试与需求联系起来，并在需求级别上标记覆盖。

当需求发生变化时，这尤其有用。是的，这是一件事;它会发生。谁知道。Verdi Coverage跟踪需求文档，并在发生变更时注意到。如果需要，这允许您进入并相应地修改验证计划。

他们是怎么做到的?他们依赖于PDF文件格式的文档。最佳实践是在该文档中使用大纲结构。它们从文档中捕获文本，以及关于在哪里可以找到文本的一些元信息。

文档什么时候更改?他们如何准确地指出这些变化?Diff技术。实际上是现成的。显然，现在区分两个文件的能力已经变得非常好了。(这并不像你想象的那么简单:一旦一件事情发生了变化，那么之后的所有事情看起来都不一样了，除非你能识别出变化的类型和范围，然后用不变的文本回到正轨。)重要的是:你不需要特殊的格式来让它工作。编写一个组织良好、结构良好的文档(这样人类就可以很好地处理它)，Verdi Coverage将能够处理它。

这远远不是一个调试的东西，而是一个预先的计划工具，在需求和验证计划的元素之间创建一个特定的链接。它适用于各种验证技术(形式化、模拟等)。只要需求文档是最新的，验证计划就没有理由与其不同步。

你可以在他们的释放．

• 
• 
• 
• 
•