AcconSys
Mentor
Siemens
ClioSoft
PRO DESIGN
Dorado
PROPlus
INVIA
PLDA
AnaGlobe
Archband
Temento
QuickLogic
Floadia
產品和服務    

湖北快3走势图百度:FormalPro

更新日期:2017-12-22 16:56:18  瀏覽次數:2405次  作者:admin  【打印此頁】  【關閉

高容量FPGA/SoC設計等效性驗證工具


隨著FPGA和SoC設計的復雜度越來越高,設計驗證要求處理的速度和容量,復雜度迅速增加,并且要求具有強大的可調試能力。FormalPro提供比仿真快的多的驗證方式。它支持RTL和門級電路,可以在很短的時間內驗證邏輯綜合,DFT測試插入,時鐘樹綜合,和ECO變化,以及布局布線后的網表邏輯變化。相比之下,動態仿真則要數小時甚至幾天才能完成。當發現區別時,FormalPro提供強有力的調試手段確定原因,自動對應到相應電路,大幅度縮短調試時間。奧


FormalPro是目前業界唯一對ASIC/SoC與FPGA同時具備良好支持的等效性驗證技術產品???/span>

主要特點:
    - 實現設計100%的功能等效性檢查
    - 支持基于Xilinx、Altera 、Actel等主流FPGA芯片的設計檢查
    - 支持百萬門級的ASIC、SoC芯片的設計檢查
    - 支持RTL-RTL、RTL-Gate、Gate-Gate之間的等效性檢查
    - 比動態仿真快幾個數量級,縮短產品上市時間
    - 支持VHDL、Verilog、SystemVerilog標準語言
    - 超強的調試能力,快速診斷設計差別并定位和圖形化顯示
    - 支持Windows與Linux平臺


FormalPro利用靜態形式驗證技術去證明一個設計與其黃金參考設計完全等價。這項技術比傳統門級仿真速度快多個數量級。對于設計在數十萬門級以上情況,FormalPro提供的邏輯等效性檢查功能更是成為不可或缺的技術。思


與此同時,FormalPro對低功耗設計也具備著良好的支持。其可以完美支持Accellera UPF標準,使得關于低功耗設計的RTL-Gate或者Gate-Gate驗證都可以輕松實現。具體來說,可以檢查功耗域(Power Domain)寄存器類型以及跨功耗域隔離單元的保持特性等。


針對FPGA設計,除了主流的FPGA廠商Xilinx、Altera、Actel眾多芯片的支持以外,同時為方便FPGA設計的邏輯等效性檢查,支持Mentor公司的FVI或者Synopsys公司VIF/VSDC優化向導文件的導入。從而實現對FPGA芯片設計LEC檢查的最大靈活度和支持力度。

  • 奧肯思總部
  • 電話: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

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