服务分类

联系我们

形式验证工具

 

OneSpin公司的360 EC-FPGA等效性检查工具不仅提供了ASIC检查工具所具备的所有功能,还包括对FPGA中常用的时序优化功能的支持。它能验证RTL和后综合网表的功能等效性,以及门级和后布线FPGA网表的等效性。

 

       360 EC-FPGA的功能大致划分为五个方面:1)设计管理;2)验证;3)支持逻辑等效性和时序等效性检查;4)生成报告;5)诊断。与其它工具相比,具有很多优点:

 

l  通过完备的验证覆盖将设计失败的可能性降到最低

 

l  降低了工具设置的需求并提供快速错误隔离的功能,显著的缩短了传统的等效性检测的周期

 

l  提供逻辑的等效性检查,还验证包括寄存器在内的时序变化。

 

l  可以处理当前所有的FPGA综合优化功能,它支持AlteraXilinx FPGA,可以与Synplicity公司的Synplify Pro,Xilinx公司的ISEAltera公司的Quartus II综合工具一起使用。支持XilinxAlteraACTEL所有器件。

 

l  针对复杂设计的典型验证时间大约是整个综合、布局和布线所需时间的1030%

 

l  不要求扩展脚本或辅助文件,因此允许FPGA设计流程保持高度的自动化。

 

l  可以接受预综合和后综合网表并加以比较,采用直接按键方式操作.

 

l  支持WindowsLINUX操作系统