Precision Synthesis ensures that synthesis and subsequent place-and-route design transformations are performed as safely and repeatably as possible. Precision offers a number of unique capabilities to support DO-254 flows, including:
- Assured synthesis flows, combining safe optimistions and integration with logical equivalency checking (FormalPro) to quickly verify output
- Automatic traceability of performance-related requirements through the synthesis process
- Deterministic netlist generation for repeatable results
- Customizable message handling for smoother reviews and flows
- FPGA vendor-independence and integrations for driving place-and-route
Since place-and-route processed are tightly tied to specific silicon packages, they must be run with appropriate FGPA vendors' software tools.