Precision RTL Plus bietet mehrere Funktionen für sicherheitskritische Designs im Bereich Militär, Luft- und Raumfahrt, für die eine DO-254-Zertifizierung erforderlich ist. Dazu gehören die garantierte Wiederholbarkeit der Syntheseergebnisse, die Synthese zur Designabsicherung und die DO-254-Zertifizierung, die durch die Integration mit Tools wie ReqTracer ermöglicht wird.
