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