IC設計
IP
FPGA設計
FPGA評測
DO-254
電子電路設計與仿真
先進半導體工藝器件建模
半導體熱測試
電子散熱仿真
流體仿真
電氣平臺工程
信息化管理方案
SiP系統級封裝技術
解決方案    FPGA評測

FPGA評測業務

更新日期:2016-01-08 09:32:06  瀏覽次數:4736次  作者:admin  【打印此頁】  【關閉

FPGA評測業務


隨著FPGA設計規模的增加,復雜高性能的FPGA為產業帶來新的挑戰:

FPGA/FPSoC規模迅速提升,功能越來越復雜,性能越來越高奧;
FPGA/FPSoC團隊協同越來越多,仿真驗證壓力越來越大肯; 
FPGA/FPSoC研發周期急劇縮減,設計缺陷不可避免思; 

    為此,對于包括航空、航天、能源、交通、醫療等安全關鍵性領域,行業制定出嚴謹的標準規范來嚴格約束FPGA/FPSoC的研發以及在這些領域的使用。在這些安全關鍵性領域的中,航空業的DO-254首先形成了行業標準,目前DO-254在北美和歐洲地區已經十分普及,并在其它安全關鍵性領域擴展。目前DO-254標準規范在中國的推進十分迅速,可以預見,在不久的將來,安全關鍵領域的FPGA/FPSoC應用必須強制性地符合DO-254的要求同時取得相關的認證。 


    當前普遍的FPGA/FPSoC研發流程都離嚴謹的標準規范相去甚遠,設計一線的工程師也沒有時間去鉆研DO-254這樣的行業標準,為確保FPGA設計與驗證流程的規范化并滿足軍工、航空航天設計任務的高安全性與高可靠性的要求,FPGA的評測工作就顯得尤為重要。

FPGA評測流程


FPGA評測流程


1) 需求跟蹤與管理技術ReqTracer 

    全面完成從設計規格到實現的完整設計需求追蹤與管理,對于所有需要滿足DO-254規范嚴格要求的項目非常適用。ReqTracer可在整個設計過程中,從多個設計源有效地鏈接、管理和追蹤硬件設計需求,從而以最便捷的手段在設計的任何階段提取設計文檔與報告,實現對需求改變帶來影響的最充分有效的管理。 


2) 代碼質量評估HDL Designer 

    在DO-254流程中,具備有效管理設計數據的環境是一個重要理念。HDL Designer是DO-254官方網站推薦的EDA工具,借助管理配置工具與設計流程中的其它工具,可提供RTL設計創建、編輯、代碼質量檢查與可重用分析,并且支持網頁形式的設計檢查方式。需要特別指出的是,工具直接集成了具有專門針對DO-254規范的一套規則集,亦即DO-254規則集,進行設計代碼風格與質量的評估,對實際項目的開展極具工程實踐價值與指導意義。


3) 跨時鐘域分析Questa CDC 

    對具有多個異步時鐘的設計,Questa CDC通過執行詳盡的跨時鐘域檢查,保障設計不存在任何亞穩態問題,有效保證設計可靠性。


4) 形式驗證技術Questa Formal 

    作為對仿真的補充,Questa Formal能夠利用窮舉法證明安全性級別的要求是否滿足,確保設計不會出現任何不期望的行為,及時發現隱藏的設計深層次bug. 


5) 仿真驗證技術QuestaSim 

    QuestaSim集成了更多的高級驗證方法學與技術,大量地應用于軍事、航空航天領域的公司或科研院所,其提供基于仿真的測試環境,支持各種DO-254級別A/B所需的代碼覆蓋率的支持。


6) 軟硬件協同工具Questa Codelink

    Questa Codelink為硬件設計和軟件設計的團隊創建了一個集成的平臺。 通過這個公共的平臺,設計師工作在一致的平臺上。這個通用的平臺使硬件設計師和軟件設計師能夠同時在一個平臺上工作,可以更早的進行設計,更容易的調試,節約了時間和工程師資源。


7) 邏輯等效性檢查技術FormalPro 

    為保證設計在綜合或布局布線等設計層次遷移過程中設計功能的一致性,FormalPro基于設計等效性檢查技術比較在不同階段設計是否功能等效。同時,這一技術也可與Precision Synthesis相結合,為FPGA設計提供了強大的等效性檢查解決方案。


8) FPGA在線驗證 

    DiaLite Platform工具為FPGA Debug和SoC驗證方面的IP還是有其多樣性和獨特性,使FPGA設計師的調試能力大大提高,為縮短FPGA調試時間提供了保障。


FPGA評測平臺化
    奧肯思公司研制開發的FPGA PlatExp是支持特定行業標準的專業的“標準規范符合性FPGA/FPSoC設計與評測管理平臺”,它充分融合了DO-254、GJB-438B等諸多行業標準,在遵循標準的同時,借鑒業界先進的驗證方法學并借助自動化流程控制引擎,幫助評測團隊全面應對復雜FPGA/FPSoC評測業務面臨的挑戰。其可提供的驗證技術有:自動化的需求跟蹤與分析技術為確保設計需求的完整實現提供了準確的分析數據;集成的RMM、DO-254等設計規則集為設計代碼的規則符合性提供了判斷依據;代碼與功能覆蓋率、斷言、形式驗證、邏輯等效性分析、軟硬件協同驗證等技術組成的高級驗證方法學為評測工作提供了有效的技術支撐。與此同時,結合報表的可定制及自動生成技術,使得評測團隊的工作方式更加靈活高效。


FPGA PlatExp的主要功能:
1.對于FPGA/FPSoC設計而言,FPGA PlatExp是標準符合性設計平臺;
2.對于FPGA/FPSoC驗證和評測而言,FPGA PlatExp是標準符合性驗證和評測平臺;
3.支持DO-254以及包括企業標準等在內的標準規范; 
4.權限、安全性管理;
5.統一數據庫實現信息的集中統一和受控管理;
6.符合標準規范的報表自動生成;

上一篇:FPGA調試解決方案  
  • 奧肯思總部
  • 電話:010-68058081
  • 傳真:010-10-68058085
  • 地址:北京市朝陽區朝外西街3號兆泰國際中心C座501A?
  • 奧肯思研發與培訓中心
  • 電話:010-82346812
  • 傳真:010-82346802 ext.8002
  • 地址:北京市海淀區中關村軟件園3號樓B座二層1219室
  • 奧肯思上海分公司
  • 電話:021-54591058
  • 地址:上海市徐匯區龍華中路596號綠地中心A座501室(200032)
  • 奧肯思成都分公司
  • 電話:028-86716980
  • 傳真:028-86716983 -109
  • 地址:成都市青羊區蜀金路1號金沙萬瑞中心C座1706-1707室
               法律聲明     網站地圖     加入奧肯思     友情鏈接     幫助中心     關于奧肯思

Copyright 2014 acconsys All Rights Reserved 京ICP備12034336號-1

版權所有:奧肯思(北京)科技有限公司  技術支持:上海網站建設

广东时时彩地址在哪里