在使用Synplify综合时几种常用的Logic语法规则及区别

使用Synplify综合时保留logic

在使用Synplify综合时，此工具会自动优化我的设计。

当然此功能有好有坏，最近有个项目需要使用Chipscope观察内部信号，打开inserter就懵了，信号列表中我的设计有的是名字被改了，有的是干脆给优化没了。

网上当然也有人提出这个问题， 例如 http://www.xilinx.com/support/answers/5249.html 就提供了一个 /* synthesis syn_keep = 1 */ 的语法来保留自己的设计。

随后又以 /* synthesis syn_keep = 1 */ 为关键词搜索了一下，又发现了其他的新内容，随即记录一下。

在 Synopsys FPGA Synthesis Attribute Reference Manual 中提到了三个语法：syn_keep ，syn_preserve, syn_noprune 并对三种语法做出了比较。

然而看了此表还是很模糊，再看了一下Synplify Pro for Microsemi Edition User Guide文档中 Preserving Objects from Being Optimized Away 部分则会有更深入的解释。

由此可以总结一下：

syn_keep最常用，可以用于wire，reg和shared register两种情况；

syn_probe处于观察的目的可以使用于wire或者reg (ChipScope观察信号的话使用此语法应该足够了)；

syn_preseve使用于固定值驱动（constant-driven）的register或者状态机register中；

而syn_noprune使用于例化的模块(instance)，即使例化模块有未使用的端口，也可以让模块保留下来。

关于Shared register：

共享的register又可以称为重复的logic。

参考如下的代码：

代码如上编写的话，综合工具自动去掉一个AND gate，因为out1和out2使用同样的AND gate就足够了

若是代码如下的话：

由于加了syn_keep语法导致综合结果是两个AND gate都会保留下来。

需要注意的一点是syn_keep语法需要用在例化程序的输入端(input of instance)才会有效果，例如上面代码syn_keep加在out1，out2之后是没有任何效果的。

关于固定驱动值(Constant-driven)

指某一个flip-flop的输入总是为常数，例如有一个flip-flop总是被logic 1 驱动，则在综合的时候工具会自动移除此flip-flop且把信号绑到VCC上。使用syn_preseve的话可以保留此flip-flop。