PPrecision RTL Plus は、DO-254認証を必要とする軍事航空宇宙分野のセーフティクリティカルな設計に複数の機能を提供します。これらには、合成結果の再現性の保証、設計保証のための合成、ReqTracerなどのツールとの統合によって可能になるDO-254認証が含まれます。

PPrecision RTL Plus は、ベンダーに依存しないFPGA合成ソリューションでクラス最高の結果品質を提供し、ミリエアロアプリケーション用のDO-254認証ユーティリティ、オンチップのデバッグと検証、DSPとRAMのリソース最適化を追加します。
PPrecision RTL Plus は、ベンダーに依存しない設計を可能にし、市場投入までの時間を短縮し、設計上の欠陥を排除し、ミリエアロやセーフティクリティカルな設計において優れた結果品質を実現します。DO-254などの基準を満たすために必要なすべての機能を備えています。