木易

【转帖】Verilog综合时wire与reg如何防止被优化(1)

0
阅读(10086)

Abstract
撰写Verilog时,虽然每个module都会先用ModelSim或Quartus II自带的simulator仿真过,但真的将每个module合并时,一些不可预期的『run-time』问题可能才一一浮现,这时得靠SignalTap II来帮忙debug。

Introduction
使用环境:Quartus II 8.0 + DE2-70 (Cyclone II EP2C70F896C6N)

实际使用SignalTap II时,会发现有些reg与wire可以观察,有些又无法观察,在(原创) 如何使用SignalTap II观察reg值? (IC Design) (Quartus II) (SignalTap II) (Verilog)中,我利用将reg接到top module的方式来观察reg,虽然可行,但老实说并不是很好的方式。当初有网友发表评论,说这是因为reg被Quartus II优化掉不见了,导致无法使用SignalTap II观察,本文整理出完整的reg与wire观察方法。

观察reg
如同(原创) 如何使用SignalTap II观察reg值? (IC Design) (Quartus II) (SignalTap II) (Verilog)的范例,我再重复一次。

SSignalTapII_register_not_preserve.v / Verilog

1 /*
2 (C) OOMusou 2008 http://oomusou.cnblogs.com
3
4 Filename    : SignalTapII_register_not_preserve.v
5 Compiler    : Quartus II 8.0
6 Description : Demo how to preserve register with SingalTap II
7 Release     : 10/17/2008 1.0
8 */
9
10 module SignalTapII_register_not_preserve (
11 input iCLK,
12 input iRST_N
13 );
14
15 reg [3:0] cnt;
16
17 always@(posedge iCLK, negedge iRST_N) begin
18 if (!iRST_N)
19     cnt <= 4'h0;
20 else
21     cnt <= cnt + 4'h1;
22 end
23
24 endmodule

这是个很简单的计数器,我故意让cnt不做output,而想用SignalTap II去观察cnt这个reg的值。

clip_image001

cnt都是0,显然不合理,表示SignalTap II无法capture cnt这个reg的值。为什么会这样呢?

若我们将SignalTap II拿掉,重新用Quartus II编译,观察其compilation report,显示register为0

clip_image002

观察RTL Viewer的合成结果,真的没有register!!

clip_image003

这证明了一件事情,Quartus II在合成时,发现cnt并没有需要output,而自动优化不合成cnt,导致SignalTap II无法观察reg,不过有时为了debug方便,我们就是想观察这种reg,有办法让Quartus II暂时不要启动优化吗?

使用Synthesis Attribute避免优化

SignalTapII_register_preserve.v / Verilog

1 /*
2 (C) OOMusou 2008 http://oomusou.cnblogs.com
3
4 Filename    : SignalTapII_register_preserve.v
5 Compiler    : Quartus II 8.0
6 Description : Demo how to preserve register in SignalTap II
7 Release     : 10/17/2008 1.0
8 */
9
10 module SignalTapII_register_preserve (
11 input iCLK,
12 input iRST_N
13 )
14
15 reg [3:0] cnt /*synthesis noprune*/;
16
17 always@(posedge iCLK, negedge iRST_N) begin
18 if (!iRST_N)
19     cnt <= 4'h0;
20 else
21     cnt <= cnt + 4'h1;
22 end
23
24 endmodule

15行

reg [3:0] cnt /*synthesis noprune*/;

多了/*synthesis noprune*/这个synthesis attribute,指示Quartus II不要对cnt做优化,保留此register以供SignalTap II观察注意必须写在分号前面,不能如下写在分号后面

reg [3:0] cnt;/*synthesis noprune*/ //错!!

编译后,SignalTap II就能顺利的观察到cnt的值!!重点是不需改top module的interface,只需对想观察的reg加上synthesis attribute即可。

clip_image004

Quartus II也支持Verilog 2001的语法

1 /*
2 (C) OOMusou 2008 http://oomusou.cnblogs.com
3
4 Filename    : SignalTapII_register_preserve.v
5 Compiler    : Quartus II 8.0
6 Description : Demo how to preserve register in SignalTap II
7 Release     : 10/17/2008 1.0
8 */
9
10 module SignalTapII_register_preserve (
11 input iCLK,
12 input iRST_N
13 );
14
15 // Verilog 2001
16 //(*noprune*) reg [3:0] cnt;
17
18 always@(posedge iCLK, negedge iRST_N) begin
19 if (!iRST_N)
20     cnt <= 4'h0;
21 else
22     cnt <= cnt + 4'h1;
23 end
24
25 endmodule

16行

(*noprune*) reg [3:0] cnt;

这是Verilog 2001的语法,Quartus II 8.0也能看得懂。

若希望整个module的reg都不被优化,可将synthesis attribute放在module。

1 /*
2 (C) OOMusou 2008 http://oomusou.cnblogs.com
3
4 Filename    : SignalTapII_register_preserve.v
5 Compiler    : Quartus II 8.0
6 Description : Demo how to preserve register in SignalTap II
7 Release     : 10/17/2008 1.0
8 */
9
10 module SignalTapII_register_preserve (
11 input iCLK,
12 input iRST_N
13 ) /*synthesis noprune*/;
14
15 reg [3:0] cnt;
16
17 always@(posedge iCLK, negedge iRST_N) begin
18 if (!iRST_N)
19     cnt <= 4'h0;
20 else
21     cnt <= cnt + 4'h1;
22 end
23
24 endmodule

13行

module SignalTapII_register_preserve (
input iCLK,
input iRST_N
//);
) /*synthesis noprune*/;

将/*synthesis noprune*/放在module,这样整个module的reg将不被优化,不用再一一指定。

另外一个与reg相关的Synthesis Attribute:/*synthesis preserve*/
跟reg相关的attribute,除了/*synthesis noprune*/可用,还有一个/*synthesis preserve*/可用,两者的差异在于:

/*synthesis noprune*/ 避免Quartus II优化掉没output的reg。

/*synthesis preserve*/ 避免Quartus II将reg优化为常数,或者合并重复的reg。

也可以使用Verilog 2001的写法

//(*preserve*) reg [3:0] cnt;

或者整个module的写法

module SignalTapII_register_preserve (
input iCLK,
input iRST_N