最近要用到Synplify，但以前没使用过，无基础，找到一篇帖子，隧保存下来。
本文转自：http://blog.sina.com.cn/s/blog_65fe490d0100v8ax.html
Synplify 使用过程中最常用的选项及命令的介绍。
一、 状态机相关
（1）FSM Compiler Option
FSM Compiler是一个全局选项。勾选此选项之后Synplify Pro会自动检测代码中的状态机，根据状态数量的不同选择不同的编码方式。状态数量在0~4之间采用顺序编码(Sequential)，状态数量在5~40之间采用独热码(One hot)，状态数量在40以上采用格雷码(Gray)。对状态机状态进行“可到达分析”，优化掉无法到达的状态和无法执行到的语句。
（2）FSM Explorer Option
它是FSM Compiler的一个子选项，勾选FSM Explorer则FSM Compiler也会被自动选中。勾选FSM Explorer会影响状态机的编码方式，它对每一个检测到的状态机尝试三种不同的编码方式之后选择最优的编码方式。
（3）Syn_state_machine Directive
与FSM Compiler的不同之处在于FSM Compiler是全局选项，而syn_state_machine Directive是局部指令，使用方法如下：
reg [7:0] curr_state /* synthesis syn_state_machine=1 */;
如果我们希望某一部分代码按状态机综合但是我们没有勾选FSM Compiler选项或者FSM Compiler没有将它视为状态机，则可以使用上述代码描述将其指定为状态机。同样，也可以将其指定为“非状态机”。
（4）Syn_encoding Attribute
BTW:Attribute和Directive的区别在于Attribute是“综合时作用”，而Directive是“编译时作用”；Attribute和工艺（如ALTERA或XILINX，或同一厂家不同系列）相关，而Directive和工艺无关。
Syn_encoding Attribute的使用方法如下：
reg [7:0] curr_state /* synthesis syn_encoding=”safe,gray” */;
Syn_encoding Attribute可选的值有“onehot”，“gray”，“sequential”，“safe”，“original”。强烈建议对每一个状态机使用“safe”，它可以在状态机受到扰动进入非法状态时自动将其复位到一个有效的状态，避免状态机“死机”。
二、 面积和速度优化
（1）Resource Sharing Option
是一个全局选项，勾选此选项则允许编译器共用互相排斥语句中的算术单元，常用于加法器、减法器等，有时对Reg/LUT也会略有减少。
（2）Pipelining Option & Retiming Option
它们都是全局选项。若选中Retiming则Pipelining会自动被选中。Pipelining只改变寄存器的位置，通过移动寄存器的位置优化寄存器之间的组合逻辑级数，达到优化时序的目的。而Retiming不仅改变寄存器的位置还可能改变寄存器的数量。值得注意的是，它在改变寄存器数量时不会改变寄存器的级数，确保设计者预期的逻辑功能不被改变。
（3）Fanout Guide – one of the Device Mapping Options
Fanout Guide是全局选项，默认一般为10000，如果设计中有较多单元fanout太大导致最终实现时序难收敛，可以视情况设置。减小扇出则Synplify Pro会自动使用更多的逻辑资源来进行逻辑复制。
（4）Syn_maxfan Attribute
Syn_maxfan是局部属性。它可以用来改变特定单元的扇出，优先级高于全局Fanout Guide选项。下面是一个使用Syn_maxfan attribut的例子：
reg [31:0] data_out /* synthesis syn_maxfan=10 */;
三、 其他常用选项及命令
（1）Translate_off/translate_on Directive
Translate_off/translate_on必须成对出现。Translate_off之后的语句将在综合过程中被跳过，直到translate_on出现。
Translate_off/translate_on常用于在综合时自动屏蔽仿真需要的语句。以下是一个使用translate_off/translate_on的例子：
//synthesis translate_off
`define SIM_ON
//synthesis translate_on
（2）Syn_black_box Directive
Syn_black_box指令用来将特定模块当成黑盒综合。不论该模块内容是否为空，但要求模块接口已经定义好。
（3）Syn_keep/syn_preserve/syn_noprune Directive
Syn_preserve用来保留寄存器，综合工具可能优化掉同样输入或扇出为0的寄存器，使用syn_preserve可以保留它们。
Syn_keep用来保留连线或组合逻辑。
Syn_noprune用来保留一个black box，如果一个black box的输出扇出为0，则该黑盒可能会被优化掉，使用syn_noprune可以保护它不被优化掉。
（4）Syn_useioff Attribute (Technology related)
Syn_useioff attribute用来将输入输出寄存器置入FPGA的IO寄存器。它可以对输入输出管脚、输出寄存器或工程的顶层设置。
Syn_useioff attribute和工艺相关性较大，使用时需确认所用FPGA器件是否支持该属性。同时，该属性只是“尽力而为”，并不能保证最终结果一定符合设计者意图，强烈建议最终实现后在ISE/Quartus II中检查确认。
（5）Syn_probe Attribute
Syn_probe attribute 可以用来方便测试。对一个内部寄存器使用syn_probe后，它在综合出的网表中成为顶层端口。若不使用该属性，则可能需要逐级修改设计文件(HDL代码)将内部寄存器连接到顶层。