Altera與Mentor Graphics在DO-254上展開合作
該計(jì)劃中,Mentor將在DO-254認(rèn)證IP開發(fā)中充分發(fā)揮其業(yè)界領(lǐng)先的專業(yè)設(shè)計(jì)和驗(yàn)證解決方案優(yōu)勢。Mentor的DO-254套件主要工具包括HDL Designer、Precision Synthesis、ModelSim、Questa,以及形式驗(yàn)證工具的0-In套件,并為自動(dòng)跟蹤提供新的解決方案。Mentor還提供DO-254兼容性培訓(xùn),設(shè)計(jì)方法評估和咨詢服務(wù),包括旨在建立DO-254設(shè)計(jì)高級驗(yàn)證方法的DO-254 Jumpstart包等。
Altera通過其DO-254全球合作伙伴網(wǎng)絡(luò),目前提供安全性第一的Nios II嵌入式處理器。該內(nèi)核的認(rèn)證部分由HCELL工程使用Mentor工具進(jìn)行開發(fā)。