所有产品 > 仪器设备 > 仪器共享
产品信息图片
逻辑等价性检查工具（逻辑等价性检查工具软件）
仪器分类：计算机及其配套设备>软件>软件
浏览量： 发布时间：
所在地：天津
服务承诺：客户至上 如实描述
  • 产品详情
  • 服务评价
  • 成交记录
    • 仪器信息
    规格型号 :
    FormalPro
    设备原值 :
    170.19（万元）
    产地国别 :
    爱尔兰
    学科领域 :
    电子与通信技术,计算机科学技术,信息科学与系统科学
    技术指标 :
    软件
    主要功能 :
    支持RTL-RTL、RTL-Gate、Gate-Gate之间的等效性检查，单license支持多线程。支持Xilinx、Altera等主流FPGA及ASIC设计，兼容VHDL、Verilog等语言。具备What-if分析，支持识别Precision FVI、Synplify VIF文件，并通过图形化界面高效调试设计等价性问题。
    服务信息
    服务内容 :
    支持RTL-RTL、RTL-Gate、Gate-Gate之间的等效性检查，单license支持多线程。支持Xilinx、Altera等主流FPGA及ASIC设计，兼容VHDL、Verilog等语言。具备What-if分析，支持识别Precision FVI、Synplify VIF文件，并通过图形化界面高效调试设计等价性问题。
    收费标准 :
    校内200元/小时；校外400元/小时
    用户须知 :
    需提前联系设备负责人培训，培训通过后使用
      联系我们

      金志威 

        

      更多推荐