看来统一核查已经开始了。我们看到了最近有Synopsys，现在我们又有了Mentor。

Synopsys的版本看起来像是在努力统一已获得的技术，而Mentor的努力似乎更像是内部的。大的图景包括仿真、形式化、仿真和虚拟原型在一个保护伞、一个界面下的统一。在该方案中，Mentor将每个技术作为服务于更高级别验证目标的引擎;这些东西不再是单独的工具。

但是这里所发生的很大一部分是关于更无缝地连接模拟和模拟-试图在更大程度上统一它们。我们看了凯蒂丝的版本前段时间，当时的核查环境更加混乱和混乱。但是，这个问题的高级描述涉及到使模拟和仿真之间的区别更加透明。

从概念上讲，仿真应该是一个更快的仿真引擎，您应该能够在模拟器或模拟器-或虚拟原型之间推动设计的各个部分-基于需要最详细地验证的内容以及运行测试本身或支持测试所需的周期(例如快速通过启动序列)。

当然，在实践中，模拟器是硬件，所以只有这么多的测试平台可以从虚拟环境转移到真正的硬件中——所谓的可合成子集。这就需要验证工程师小心地支持一个灵活的测试平台，这也是新的验证IP (VIP)的重点，Mentor在本次公告中包含了VIP，它可以更容易地在模拟和模拟之间转换。

因此，这里的很大一部分新内容是在Mentor的Veloce模拟器中:他们的新OS3。而且，有几个新的Veloce功能对于支持这种统一非常重要:

• 它支持更类似模拟的交互。
• 断言现在可以合成了。
• 现在它可以跟踪报道。
• 它支持Mentor将模拟器从实验室转移到数据中心，以实现更有效的共享和更好的机器利用，包括在一台机器上进行多租户。

有两个支持工具可以帮助实现这一点。一个是VirtuaLAB，有点令人惊讶的是，它是新的，但我们实际上看到的几乎完全一样两年前．这是关于在生成用于验证的“真实世界”刺激时消除速率匹配器。虚拟实验室的盒子还可以作为一般的刺激发生器进入数据中心，这样就不需要有人亲自在实验室连接电线来获取数据。

另一个支持工具是我们之前见过的CodeLink很久以前．虽然它一直支持离线模拟调试，但现在它也支持离线模拟调试和检查。

实际上，在现有的Veloce机器上进行的设计有一个微妙的考虑。从理论上讲，如果您将模拟器迁移到数据中心，并开始在新的操作系统版本上共享它们，这很可能会发生在某些设计的中间(无法想象一个大公司的所有项目都神奇地同时完成，从而为更改创造了一个合适的窗口)。问题是，在设计项目中间进行更改通常不会对进度有很大的信心。但是Mentor向我们保证了完全的向后兼容性，因此在旧的期望下执行的验证计划应该工作，就像什么都没有改变一样。

与此同时，他们宣布了一个新的统一调试器，名为Visualizer，它支持所有引擎，从而消除了在引擎之间移动时在调试器之间移动的需要。

而且，在另一个趋势中，模拟结果都存储在单个数据库中，而不管它们是由哪个引擎生成的。

整个统一运动反映了芯片本身正在发生的事情:现在的soc集成了以前单独创建、验证和调试的芯片。对于较小的块，您可以为验证计划的不同部分使用单独的工具。但现在这是不可行的，因为在切割极其昂贵的掩模组之前，必须知道每个电路的每个方面都能正常工作。

你可以在他们的网站上获得更多信息公告．

• 
• 
• 
• 
•