在线客服

Mentor Graphics FormalPro 2006.1_1-3 Linux

  • 软件等级:
  • 更新时间:2009-06-14 14:54:07
  • 软件类型:国外软件
  • 软件大小:请和我们联系得知
  • 软件语言:英文
  • 软件授权:正式版
  • 软件类别:电子电路
  • 应用平台:具体软件,请联系我们得知

软件介绍

Mentor Graphics FormalPro 2006.1_1-3 Linux

Dramatically Reduces ASIC Verification Time Compares two designs - RTL to gate for synthesis and ECOs - Gate to gate for layout spins - RTL to RTL for language conversion Highest capacity tool - Verifies multi-million gate ASIC ’s as one Fastest route to correct design - Exact location of errors - Tests fixes within the verification session Where to Use FormalPro : FormalPro is a Regression Testing Tool That verifies all stages of gate-level implementation of a design From synthesis through to tape out Benefits GUI for design entry and initial debug Command line mode for regression testing Constraint language and TCL scripting Incremental Verification Recompile only design that has changed Restart at intermediate points
 

网友评论

   评论摘要(共 0 条,得分 0 分,平均 0 分) 查看完整评论

用户名: 验证码:

分 值:100分 85分 70分 55分 40分 25分 10分 1分

内 容:

         软件若有错误,请打勾通知网站管理员