Cadence在过去的一两个月里宣布了几个重大升级。它们在很大程度上彼此无关，一个是合成，另一个是形式验证，所以我们一个一个地讲。
一个新属种
首先，合成:他们宣布了一种新的合成引擎，叫做Genus。最近一系列以“-us”结尾的新产品中的另一款。(即将发布的座右铭是:“我们中的一员!”我们中的一个!”)
根据Schaumburg管理IT服务这个新工具有几个特定的重点领域。但它们往往围绕着这样一个概念:在白天，设计师在他们的单元上工作;晚上，这些单元被组装成块级或芯片级运行。
在芯片层面，物理合成已经可以减少地点和路线与合成之间的迭代，但单元合成仍然更加抽象，只是一个没有物理锚点的逻辑设计。无论是芯片级还是单元级，精度和周转时间都很重要。如果没有物理信息，单元精度就会受到影响，需要进行更多的实现迭代。
为了解决周转时间问题，将大量精力放在了将完整芯片拆分以供多台计算机处理的能力上。它们使用三个级别的分区——分成大约100,000个实例的块，然后是10,000个实例，然后是算法级别的块。
(图片由Cadence提供)
他们在生成大规模并行分区时面临的挑战是需要多台机器。在一台机器中，多个核心可以共享内存，但在机器之间是不可能的。这意味着机器之间为了保持共享信息的一致视图而进行的通信可能会在构思糟糕的分区上完全使进程陷入困境。
为了帮助解决这个问题，他们根据时间而不是物理位置进行分区。所以分区实际上可能是重叠的。在确定边界时，他们还尝试只切割非关键的线，从而减少需要多次收敛迭代的可能性。
也就是说，他们仍然会做几次改进、切割和重组，然后再切割和重组。然后再来一次。
在分区的最低级别，有算法，这些算法足够小，可以在一台机器中管理。这很好，因为共享内存在这里对于优化性能、功率和面积(PPA)至关重要。
较大的IP块可以进行微架构优化，其中评估和解析解决几个选项的影响，以选择最佳的PPA结果。
一旦用物理信息合成了一个组装的芯片，贡献的单元就会用物理信息进行注释，这样后续的单元合成就可以更准确地进行，再次减少了整体的迭代。
他们声称合成时间提高了5倍，单元和块级之间的迭代减少了一半，数据路径面积和功耗减少了10-20%。
你可以找到关于Genus合成引擎的其他细节公告．
贾斯帕变得犀利
同时，他们所获得的Jasper形式化分析技术的集成也在进行中。Cadence有自己的incent正式工具，但是，除了少数例外，这些工具都让位于Jasper版本。但他们正在努力让它轻松过渡。
他们做到这一点的一种方法是使用新的JasperGold流来维持“犀利”前端。因此有两种方法可以使用Jasper技术:通过Jasper前端(现有Jasper用户没有变化)和使用incve前端，使过渡更快。
(图片由Cadence提供)
在引擎盖下，他们根据Jasper引擎的工作情况保留了大部分，但他们也带来了一些表现良好的incve引擎。
我们讨论引擎选择的概念OneSpin的LaunchPad平台最近。在Cadence的例子中，他们通常会尝试所有的引擎并选择最好的结果，但他们也允许从一个引擎到另一个引擎的动态转换。这是他们几年前开始用的Incisive;它现在累积到Jasper引擎以及。
他们还得到了形式辅助模拟，用于更深层次的错误检测;他们首先编译IP约束，以便更快地检测错误(以牺牲一些预先的时间为代价);他们为仿真提供了基于断言的VIP，以取代不可合成的检查器。
所有这一切的结果是一个15倍的性能提高。
你可以在他们的文章中获得更多关于这些方面和其他方面的细节公告．
