Synplicity公司发布最新版本的Synplify Pro FPGA综合工具，并称通过与第三方的形式验证、布局布线和调试产品紧密结合，在主要的运行时间和结果质量(quality of results)上取得了显著改进。最新版本还支持早期的System Verilog子集。 Synplify Pro 8.0支持用于Cadence的Conformal和Prover Technology的eCheck等价检验器的形式验证流程。这种检验器允许使用Synplify Pro优化工具实现常规形式验证软件解决方案。 据该公司介绍，此工具还与Actel、Altera和Xilinx的布局布线工具更紧密地集成，便于用户在综合后运行布局布线，并在Synplify Pro项目中掌控结果。 Synplicity还将其Identify FPGA源代码调试工具集成到Synplify Pro中。8.0版还包括对System Verilog规范的一个子集的支持。 该公司称Synplify Pro软件在综合过程中生成的日志文件现在基于HTML格式，能够更方便地浏览具体的报告部分。用户还能够滤出具体的错误和警告，以允许用户只注意在最近综合运行过程中出现的新错误和警告。 Synplify Pro具有一个新的命令行TCL查找特性，使设计者能够用表达式和运算符在设计中查找和搜集具体元素，然后进行加法、合并和差分等运算。 最后，8.0版还包括一些新器件支持，如Actel最新发布的ProASIC3 FPGA和Altera的HardCopy II系列结构ASIC。 Synplify 8.0软件现已供货，起始价9,500美元(仅供参考)。