"Community Lecture" Logic Synthesis of High Design Reliability in DO-254 (VI) -- Engineering Considerations for DO-254

心仪

"Community Lecture" Logic Synthesis of High Design Reliability in DO-254 (VI) -- Engineering Considerations for DO-254 [Copy link]

DO-254 projects require more considerations during synthesis. Logic synthesis tools can provide a lot of additional value in design reliability. The following are some of the most important features in supporting DO-254 projects.

Comprehensive results of repeatability

DO-254requires that every step of the design should be repeatable. The main purpose is to be able to obtain the design environment and the use of design tools to track every link of the manual. Ideally, re-running the same design steps will definitely get the same results. A repeatable design process ensures that consistent results are obtained when the design is recreated, providing all the documentation required to comply with DO-254.

Logic synthesis is a process that often produces different results with the same settings and the same environment. This can happen frequently if the synthesis tool is not careful to use a defined repeatable software design flow. In this case, each synthesis will produce different internal data and non-repeatable results.

Synthesis tools can produce repeatable design results by using some defined instance name generation method and careful software processing. With such a logic synthesis tool, if the input data and design environment settings are the same for two synthesis runs, the results will be reproducible. One method is to verify whether the results are reproducible by generating a checksum for the results generated by each run. Comparing the checksum of the design result data twice can ensure that the results of the two runs are consistent. Synthesis tools must be able to support the requirements of the DO-254 design flow.