為因應越來越多航空和軍事應用需要通過DO-254認證的元件,Altera公司和Mentor Graphics公司宣佈,雙方將展開合作,提供為開發DO-254認證矽智財(IP)之工具和方法,這些矽智財將針對Altera的現場可編程閘陣列(FPGA)和HardCopy專用積體電路(ASIC)解決方案所開發。在此次聲明中,Mentor將加入Altera的DO-254全球合作夥伴網路,以實現最佳DO‑254認證IP開發與整合流程設計及驗證。
Mentor的DO-254套件主要工具包括HDL Designer、Precision Synthesis、ModelSim、Questa,以及形式驗證工具的0-In套件,並為自動追蹤提供新的解決方案。Mentor還提供DO-254相容性培訓,設計方法評估和諮詢服務,包括旨在建立DO-254設計高級驗證方法的DO-254 Jumpstart套裝等。
Altera透過其DO-254全球合作夥伴網路,提供安全性第一的Nios II嵌入式處理器。該內部核心的認證部分由HCELL工程使用Mentor工具進行開發。
Patmos工程服務公司是FAA下屬的權威認證機構,其總裁Tammy Reeve聲明表示:「在DO-254的指導下開發COTS IP是目前業界面臨的最大挑戰。我非常高興能夠看到Altera和Mentor等供應商開始採取行動,來解決這些流程中最關鍵的問題,使COTS IP能夠符合DO-254。他們的努力將節省大量的硬體資源,避免了在這方面的失敗。」