black_box_pad_pin
声明用户定义的黑盒的管脚，作为外部环境可见的I/O pad，如果有不止一个端口，列在双引号内，以逗号分开。一般不需要这一属性，Synplify提供了预定义的I/Os。其语法如下
object /* synthesis syn_black_box black_box_pad_pin = "port_list" */ ;
例如：
module BS(D,IN,PAD,Q) /*synthesis syn_black_box black_box_pad_pin=";PAD" */;
block_box_tri_pins
声明黑盒的一个输出端口是三态，如不止一个列在双引号内以逗号分开。其语法如：" P( d; F6 A& b4 ?% f0 I
object /* synthesis syn_black_box black_box_tri_pins = "port_list" */ ;
例如：
module BBDLHS(D,E,GIN,GOUT,PAD,Q) /* synthesis syn_black_box
black_box_tri_pins=";PAD" */ ;
full_case
仅用于Verilog，与case 语句一起使用，表明所有可能的状态都已经给出，不需要其他逻辑: X% F2 B" F. t! x. . x3 O5 d' m
保持信号的值。语法如下：
object /* synthesis full_case */
其中object可以是case、casex、casez statements declaration
parallel_case
仅用于Verilog，与case 语句一起使用，强制生成一个并行的多路选择结构而不是一个优先译码结构。其语法：/ [) h9 T% c' q5 U
object /* synthesis parallel_case */
其中object可以是case、casex、casez statements declaration
syn_block_box
说明一个module或component为黑盒，仅利用其界面进行综合而不管是否内部为空，也不进行优化。一般应用于厂家原语或宏，或IP等用户定义的宏。对于厂家I/O或其他一些厂家的宏，通常不需此属性，Synplify提供预定义的黑盒。其语法如下：
object /* synthesis syn_black_box */ ;
其中object可以是module declaration.
syn_encoding
强制选择自动机实现的方式，其可选值如下：
default－综合根据状态的数量选择编码方式，编码方式可以是：onehot、gray、sequentia
onehot－采用onehot编码方式!
gray－采用格雷码
sequential－采用自然码
safe－如果不能到达任一个状态时，让其回到复位态
其语法如下：
object /* synthesis syn_encoding = "value" */ ;
其中object是状态寄存器定义
syn_isclock
说明黑盒的一个输入是时钟信号。对名字为clk、rclk、wclk的黑盒输入信号，软件自动当作时钟，可以用这个属性说明任意输入信号为时钟信号。其语法如下：
object /* synthesis syn_isclock = 0|1 */ ;
其中object是黑盒的input port
例如：
module ram4(myclk, out, opcode, a, b) /* synthesis syn_black_box*/;
output [7:0] out;
input myclk /* synthesis syn_isclock = 1 */;
input [2:0] opcode;
input [7:0] a, b;
/* Other coding */
syn_keep
保证被指定的wire在综合中保持不动，不会被优化掉。用于在define_multicycle_path或define_false_path用了-through 选项。如果你使用了这一属性，将生成一个keepbuf，可以对其定义时间约束，这个Buffer只占用一个位置，不出现在门级网表里。其语法如下：
object /* synthesis syn_keep = 0|1 */ ;
其中object是wire或reg声明
syn_noprune
用来保持一个或多个component的实例，即使其输出不能映射。一般无此指示的情况下，有着未用输出端口的实例会从EDIF文件中删除。它可被置于约束文件中，其语法如下：
.sdc 文件中
define_attribute {module|instance} syn_noprune {0|1}
Verilog 中
object /* synthesis syn_noprune = 0|1 */ ;
其中object可以是module declaration也可以是实例。
syn_preserve
用在某些独立的寄存器上，或module（则相当于施加于module中的所有寄存器）上，使其在优化时保持不动。也可用于保持某个自动机在优化时不动。其语法如下：
object /* synthesis syn_preserve = 0|1 */ ;
其中object可以是寄存器定义信号，也可以是Module
syn_sharing
使能/禁止综合时对运算符进行资源共享。缺省值是off，也可以在project视窗里设置这一选项。其语法如下： k1 L. e9 ?+ I# h
object / * synthesis syn_sharing = " on|off " */ ;
其中object可以是module定义语句。
syn_state_machine
使能对设计中的某组状态寄存器进行自动机优化。其语法如下：
object /* synthesis syn_state_machine = 0|1 */ ;
其中object是该组状态寄存器!
syn_tco
提供黑盒的输出延迟信息，参见8.2。语法如下：
object /* syn_tcon = "[!]clock -> bundle = value" */ ;
其中bundle是总线或标量信号的集合
syn_tpd
提供穿过黑盒的组合逻辑的传输延迟信息，参见8.2。语法如下：
object /* syn_tpdn = "[!]clock -> bundle = value" */ ;
其中bundle是总线或标量信号的集合
syn_tristate
指定黑盒的一个输出端口为三态。其语法如下：
object /* synthesis syn_tristate = 0|1 */ ;
其中object可以是黑盒的output port
syn_tsu
说明一个黑盒的输入要求的建立时间。参见8.2。其语法如下：
object /* syn_tsun = "[!]clock -> bundle = value" */ ;
translate_on/translate_off
用于与其他综合软件的兼容。在这两个指示中间的所有代码将在综合时被忽略。也可以用于
在源代码中插入一段仿真代码。其语法如下：
/* synthesis translate_off */
综合时忽略的代码。。。
/* synthesis translate_on */