已经知道了，是Syplify C 200906。这个版本命名方式挺奇怪的。
Syplify Pro9.6.2也还是能用的，就是不能直接调用，要手动导入。

不同版本的syplify综合出来的结果还真的不同。

相同的一个工程，未加约束时
用200906综合的结果：CLK最快214MHz，264 Registers。用Quartus II 9.1布线后：
521个LE， 308个Total combinational functions，252个Dedicated logic registers

用9.6.2综合的结果：CLK最快275.7MHz，264 Registers。用Quartus II 9.1布线后：
542个LE， 316个Total combinational functions，264个Dedicated logic registers

速度和面积上各有优劣。还是两个版本都先保留着吧。