而不是部署一个通用工具套件,许多设计团队需要更有针对性的解决方案使用整个设计流程。
从历史上看,形式验证技术被许可为一套按压而全面的工具,可以用来解决广泛的形式验证应用程序和问题。这样的部署需要广泛的深入的技能之前用户的部分技术不仅可以利用第一次用户,但也经历过的。新用户经常被综合技术和陡峭的学习曲线的性质,而有经验的用户希望部署一个狭窄的应用范围阻碍了整个组织一体化的方法。
早期用户通常更愿意采用新设计和部署和verifi -阳离子方法使用一个低风险、循序渐进的方法,这也使他们逐步积累的技能和经验。经验丰富的正式用户更有可能利用集中能力解决具体问题和应用程序在设计和验证,但必须这样做在一个组织形式,而不是个体的基础上进行。在这两种情况下,用户通常不得不整个工具套件为了访问许可证只有一个子集的能力。因此,一体化的方法没有,不提供有效的部署类型的用户。
点击阅读更多在这里。
|
|
|
|
|
|
|
|
|
|
我们当然看到这一趋势的工具,分析设计师意图clock-domain等特定问题领域的交叉(CDC)验证,x-propagation和重置验证和自动RTL死代码分析,和坏FSMs等等. .许多工程师都使用正式的引擎的分析工具,而不必编写属性。因为地区问题是特定的,只有那些担忧得到部分的设计进行了分析。这提供了吞吐量和准确性设计师正在寻找。我希望看到具体的分析工具,采用正式的数量保持增长。