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