验证统一则好像在空中。我们看到它最近Synopsys对此,现在我们有一个从导师。
而Synopsys对此的版本看起来像一个努力统一收购技术、导师的努力似乎更内部。大局需要模拟的统一,正式,仿真,和虚拟原型在一把伞下,一个接口。方案,导师提出的每一个技术作为一个引擎服务于更高级别的验证目标;不再是这些事情的每一个单独的工具。
但是这里发生的事情的一个重要部分是关于连接模拟和仿真更无缝地——试图统一他们在更大程度上。我们看着节奏的版本一段时间回来,当验证环境更加支离破碎和困惑。但是高级的照片与仿真和模拟之间的区别更加透明。
在概念、仿真应该更快的模拟引擎,您应该能够摆布你的设计的模拟器或模拟器之间——或者虚拟原型——基于需要验证什么最伟大的细节和需要多少周期运行测试自己或支持测试(如通过快速启动序列)。
在实践中,当然,模拟器是硬件,所以只有这么多的testbench可以从虚拟环境进入真正的硬件——所谓synthesizable子集。需要护理的验证工程师来支持一个灵活的testbench,也是新验证点的IP (VIP)导师包括作为这个声明的一部分——VIP之间更容易转换的模拟和仿真。
所以很大一部分的新导师的快速的模拟器:他们的新OS3。还有一些新的重要支持统一快速的功能:
- 它支持一个更交互的模仿。
- 断言可以合成。
- 现在跟踪报道。
- 它支持导师推动模拟器走出实验室,进入数据中心更有效的共享和更好的机器利用率,包括多租户在单个机器上。
两个支持工具帮助。一个是VirtuaLAB,有点令人惊讶的是,随着新,但实际上,我们看到几乎完全两年前。这是关于消除率为验证生成“真实世界”刺激时匹配器。VirtuaLAB框也可以进入数据中心一般刺激发电机,不再需要有人到现场,在实验室数据连接电线。
我们看到的其他支持工具CodeLink很长一段时间前。虽然支持的离线仿真调试,它现在支持离线仿真调试和检查。
这里是一个微妙的考虑对现有设计进行快速的机器。从理论上讲,如果你将你的模拟器迁移到数据中心,开始分享他们在新的操作系统版本,这将很可能发生在一些设计(很难想象这样一个大公司,所有的项目都神奇地完成的同时,创建一个合适的窗口改变)。事情是这样的,中间的设计进行更改项目一般不适合计划的信心。但导师保证我们完全向后兼容,所以,验证计划被执行在年长的预期应该工作就好像什么事也没有改变。
与此同时,他们宣布了一个新的统一的调试器称为可视化工具,支持所有的引擎,将需要调试器之间移动时引擎之间移动。
另一个趋势,仿真结果都存储在一个数据库中,无论引擎生成它们。
整个统一运动反映了芯片本身发生了什么:现在soc集成块,在更早的时期,会被创建,分别验证和调试。小块,您可以使用单独的工具来验证计划的独立的部分。但这只是现在不可行,每个电路的各个方面必须已知正常工作之前削减一套贵的离谱的面具。
你可以得到更多的信息在他们的公告。