Crossfire – 設計流程驗證

檢驗資料庫 (Library) 及IP設計上,不同檔案格式之間的一致性是否能達到品質的要求,可對IC設計之計畫是否拖延,造成重大的影響。而隨著新技術的開發,更新及更加複雜的views不斷被提出,資料庫及IP完整性之驗證,已成為開始真正設計前必要之步驟。

由Fractal公司所開發的Crossfire, 可幫助IC設計團隊,針對資料庫及IP完整性的驗證,提出驗證流程之最佳解決方案。 Crossfire 可判斷不同views之間的訊息是否彼此一致。如對failing characterization 的描述 (scripts) 。



目前可支援之檔案格式:
  • Cadence DFII layout & schematic views
  • Open Access layout & schematic views
  • Milky-Way CEL, FRAM & CON views
  • Verilog
  • SystemVerilog (*)
  • Verilog AMS (*)
  • Tetramax
  • VHDL
  • Liberty NLDM
  • Liberty NLPM
  • Liberty NLNM
  • Liberty CCS
  • Liberty ECSM
  • Timing Library Format (.tlf)
  • LEF
  • DEF
  • PLIB
  • SLIB
  • GDSII
  • HSPICE
  • CDL
  • FastScan
  • PDF (**)
  • HTML
  • All ASCII user Defined Formats
(*) Limited checks only available (No Arc checks)
(**) After PDF to TEXT conversion

驗證特點:
  • 檢驗cells, pins及terminals存在與否的正確性,比如在layout及abstract view中進行所有schematic上pins,terminals之檢驗
  • 交叉驗證比對delay tables, delay path 狀態條件, setup 與 hold-times ,比如是否所有Liberty格式裡的delay arcs皆對應到Verilog格式
  • 檢驗Liberty characterization data之一致性,比如是否CCS最大電流隨電容遞增而增加,cell delays隨溫度遞增及供給電壓遞減而增加
  • 檢驗cell terminal之可繞性,比如是否所有的pins在metal1可繞
  • 檢驗功能性的敘述上是否一致,比如是否reset pin在SPICE, Verilog,及.lib檔案中為active-low
  • 檢驗layout的正確性,比如是否LEF abstract 正確的包含了layout view
  • 使用者可透過三種語言描述,編撰模組以增進驗證之可行性: Tcl, Perl, Python
易操作之使用環境
Crossfire提供使用者經由圖形化之介面來進行所有的驗證,有效地降低QA驗證中使用者的學習門檻,而熟析操作指令介面之使用者亦可透過批次摸式執行驗證。所有透過Crossfire檢驗出的問題皆有對應之分析建議可參考,且由程式直接開啟原始資料並從中標示出可能的錯誤,加速提高驗證品質。


Crossfire Datasheet