|
FPGA相等檢查解決方案
Microsemi和OneSpin解決方案已經(jīng)宣布360年OneSpin等價性檢查(EC)fpga驗證解決方案現(xiàn)在完全支持Microsemi自由人芯片系統(tǒng)(SoC)設(shè)計流程。
等價驗證檢查已成為一個關(guān)鍵組件的高可靠性設(shè)計等安全關(guān)鍵部件,確保沒有問題了在設(shè)計優(yōu)化過程。OneSpin EC-FPGA產(chǎn)品鞏固了Microsemi自由人的設(shè)計流程,以確保在設(shè)計細(xì)化的功能一致性高可靠性的設(shè)計,顯著降低最終產(chǎn)品故障的風(fēng)險。
“OneSpin解決方案創(chuàng)造了創(chuàng)新formal-based設(shè)計驗證和等價性檢查解決方案被用于完全獸醫(yī)最安全的一些關(guān)鍵設(shè)計生產(chǎn)今天,”布魯斯·韋說,副總統(tǒng)和Microsemi業(yè)務(wù)部門經(jīng)理。“我們相信,通過包括等價性檢查作為設(shè)計流程的一部分,我們將更好地滿足客戶的嚴(yán)格要求高可靠性的設(shè)計。”
安全系統(tǒng)平臺經(jīng)理埃里克Matusek西屋電氣公司LLC說,“的Microsemi ProASIC3 FPGA是一個先進(jìn)的邏輯系統(tǒng)的核心組件,并使用360年OneSpin等價性檢查器是不可分割的一部分我們的核安全系統(tǒng)的FPGA開發(fā)過程。”
利用OneSpin和Microsemi等價性檢查器的行業(yè)領(lǐng)先的設(shè)計流程,設(shè)計人員可以確定當(dāng)他們實現(xiàn)最激進(jìn)的設(shè)計流程優(yōu)化以提高FPGA器件功耗,性能和面積利用率,他們不引入功能性錯誤。工具驗證功能對等在寄存器傳輸級(RTL)代碼和之前的網(wǎng)表FPGA下載,從而減少原型驗證需求,確保不出現(xiàn)在最終的設(shè)備設(shè)計流程的bug。
“高可靠性是一個關(guān)鍵考慮設(shè)計師采用Microsemi設(shè)備和等價性檢查的原因是一個重要的技術(shù)在這個流,“Raik Brinkmann博士說,OneSpin解決方案的總裁兼首席執(zhí)行官。“鑒于我們自己的專業(yè)知識在這個領(lǐng)域,我們很高興配合Microsemi流目標(biāo)的船頭上驗證需求,可靠性高。”
360年OneSpin EC-FPGA驗證的解決方案
OneSpin 360 EC-FPGA消除了在fpga設(shè)計flow-generated錯誤,支持復(fù)雜的順序優(yōu)化一個易于使用的解決方案,旨在加快進(jìn)度、降低風(fēng)險和提高產(chǎn)品質(zhì)量。SystemVerilog,工具包括支持Verilog硬件描述語言(VHDL),EDIF和混合語言和運行在Linux和Solaris平臺。它還支持Microsemi SmartFusion2 SoC FPGA,IGLOO2屋FPGA,ProASIC3和融合FPGA設(shè)備。
關(guān)于Microsemi SmartFusion2 SoC fpga
Microsemi SmartFusion2 SoC fpga的唯一地址的設(shè)備基本要求先進(jìn)的安全、高可靠性和低功耗的關(guān)鍵工業(yè)、軍事、航空、通信、醫(yī)學(xué)應(yīng)用。SmartFusion2本質(zhì)上集成一個可靠的基于flash的FPGA結(jié)構(gòu),一個166兆赫(MHz)手臂CortexTM-M3處理器,先進(jìn)的安全處理加速器,DSP塊,SRAM eNVM和industry-required高性能通信接口在一個芯片上。
關(guān)于Microsemi IGLOO2 fpga
Microsemi IGLOO2 fpga提供LUT-based織物,5 g收發(fā)機(jī),高速GPIO,塊RAM,高性能內(nèi)存子系統(tǒng)、分化和DSP模塊、成本優(yōu)化和權(quán)力架構(gòu)。這種下一代IGLOO2架構(gòu)提供高達(dá)5倍邏輯密度和織物性能比它的前輩和結(jié)合了三倍數(shù)量最高的非易失性閃存織物的通用I / O,5 g并行轉(zhuǎn)換器作為PCIe端點接口和其他產(chǎn)品相比,其類。IGLOO2 fpga提供出色的功能集成加上低功耗,高可靠性和先進(jìn)的安全。
AC電源插座http://www.gastrotommy.com |
當(dāng)前位置:
