DO-254中的高设计可靠性的逻辑综合（十）--使用Precision综合可以不用担心设计可靠性

心仪

DO-254中的高设计可靠性的逻辑综合（十）--使用Precision综合可以不用担心设计可靠性 [复制链接]

在一些应用中，例如DO-254的A级和B级，对于设计可靠性的要求是非常重要的，而面积和性能的要求相应的优先级比较低。对这样的工程来说，通常会建议采用一个全局的选项，能够关闭一些优化后难以验证的功能。
这个全局选项要有两个功能，一个是能够自动开放一些之前讨论过的，例如状态机，形式化验证接口等功能，第二个功能是关闭优化功能，例如retiming,优化等，这些功能会造成验证困难。

Mentor Graphic的设计创建部门提供FPGA综合工具有超过10年的历史。

他们领先的综合产品Precision已经和其他的EDA工具如HDLDesigner，逻辑等效性检查工具FormalPro,功能验证工具Modelsim,Questa, 0-in等集成起来。MentorGraphics是唯一的一个大规模的专注于FPGA设计解决方案的EDA公司，能够提供一整套完整的FPGA设计解决方案。

Precision能提供之前讨论的所有的关于可靠性综合的功能。Precision是一家独立于FPGA供应商的EDA公司其提供的解决方案适合所有的FPGA厂商的芯片。
Precision在必要的时候也可以为了设计可靠性而能关掉优化的功能。
目前，Precision计划在Precision中会加入一个全局的关于设计可靠性的选项。