Synplicity最近发布了Synplify Pro FPGA综合工具,宣称新工具能紧密集成第三方形式验证、布局布线及调试产品,在运行时间和结果质量上均有改进。
Synplify Pro 8.0包含形式验证流程,支持Cadence的Conformal和Prover Technology的 eCheck等效校验器,允许Synplify Pro优化可与流行的形式验证软件方案协同使用。
该公司表示,Synplify Pro 8.0软件输出一个验证接口文件(VIF),用于面向Altera和Xilinx器件的形式验证流程。形式验证工具,如Prover Technology的eCheck如今能读取Synplify Pro综合软件执行过的优化,并执行逻辑等效校验。
Synplicity还在Synplify Pro内集成了其Identify FPGA源代码调试器。 Synplify Pro软件还具有双写入RAM支持功能,可针对用户的目标FPGA器件选择正确的RAM实现。8.0版本还包括对新器件的支持,如Actel新推出的ProASIC3 FPGA和Altera的HardCopy II家族结构化ASIC。
Synplify Pro 8.0软件起价为9,500美元,目前已上市。
京公网安备 11011202001138号
