《社区大讲堂》DO-254中的高设计可靠性的逻辑综合（六）--DO-254的工程需要考虑

心仪

《社区大讲堂》DO-254中的高设计可靠性的逻辑综合（六）--DO-254的工程需要考虑 [复制链接]

DO-254的工程需要在综合时考虑更多

逻辑综合工具在设计可靠性方面能提供很多额外的价值。以下是一些支持DO-254项目中非常重要的功能。

可重复性的综合结果

DO-254需要设计的每一步都要有可重复性。
主要的目的是能够获取设计环境，设计工具的使用，来跟踪人工的每一个环节。理想状况下，重新运行同样的设计步骤，一定可以得到相同的结果。
可重复的设计过程能确保重新创建设计时能得到一致的结果，给出符合DO-254所需的所有的文档。

逻辑综合这个环节经常会在同样设置同样环境的情况下，得到不同的结果。如果综合工具不是很仔细的使用确定的可重复的软件设计流程，这种情况会经常发生。
在这种情况下，每次综合都得到不同的内部数据和非可重复的结果。

综合工具在使用一些确定的实例名称生成方法和仔细的软件处理后，是可以得到可重复的设计结果。采用这样的逻辑综合工具，两次综合得到的综合结果如果输入数据相同，设计环境设置相同，那么结果就一定可重现。
有一种方法是通过给每次运行产生的结果生成一个校验和来检验结果是否可重现。
比较两次的设计结果数据的校验和能确保两次运行结果一致。

综合工具必须能够支持DO-254设计流程的这种需求。