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