如何使用SignalTap II觀察reg與wire值? (SOC) (Verilog) (Quartus II) (SignalTap II)
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的值。
cnt都是0,顯然不合理,表示SignalTap II無法capture cnt這個reg的值。為什麼會這樣呢?
若我們將SignalTap II拿掉,重新用Quartus II編譯,觀察其compilation report,顯示register為0。
觀察RTL Viewer的合成結果,真的沒有register!!
這證明了一件事情,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即可。
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
) /*synthesis preserve*/;
觀察wire
同樣的,在SignalTap II觀察wire時,有時也會因為被Quartus II優化掉而無法用SignalTap II觀察。
SignalTapII_wire_not_keep.v / Verilog
1 /*
2 (C) OOMusou 2008 http://oomusou.cnblogs.com
3
4 Filename : SignalTapII_wire_not_keep.v
5 Compiler : Quartus II 8.0
6 Description : Demo how to keep wire
7 Release : 10/17/2008 1.0
8 */
9
10 module SignalTapII_wire_not_keep (
11 input iCLK,
12 input iRST_N,
13 output [3:0] oCNT
14 );
15
16 wire [3:0] Cnt;
17 reg [3:0] cnt;
18
19 assign Cnt = cnt;
20 assign oCNT = Cnt;
21
22 always@(posedge iCLK, negedge iRST_N) begin
23 if (!iRST_N)
24 cnt <= 4'h0;
25 else
26 cnt <= cnt + 4'h1;
27 end
28
29 endmodule
16行
wire [3:0] Cnt;
假設我想用SignalTap II去觀察Cnt這個wire。
Cnt都是0,顯然不合理,表示SignalTap II無法capture cnt這個wire的值。為什麼會這樣呢?
因為Cnt這個wire已經被Quartus II優化不見了!!
不過有時為了debug方便,我們就是想觀察這種wire,有辦法讓Quartus II暫時不要啟動最佳化嗎?
SignalTapII_wire_keep.v / Verilog
1 /*
2 (C) OOMusou 2008 http://oomusou.cnblogs.com
3
4 Filename : SignalTapII_wire_keep.v
5 Compiler : Quartus II 8.0
6 Description : Demo how to keep wire
7 Release : 10/17/2008 1.0
8 */
9
10 module SignalTapII_wire_keep (
11 input iCLK,
12 input iRST_N,
13 output [3:0] oCNT
14 );
15
16 wire [3:0] Cnt /*synthesis keep*/;
17 reg [3:0] cnt;
18
19 assign Cnt = cnt;
20 assign oCNT = Cnt;
21
22 always@(posedge iCLK, negedge iRST_N) begin
23 if (!iRST_N)
24 cnt <= 4'h0;
25 else
26 cnt <= cnt + 4'h1;
27 end
28
29 endmodule
16行
wire [3:0] Cnt /*synthesis keep*/;
多了/*synthesis keep*/這個synthesis attribute,指示Quartus II不要對Cnt做最佳化,保留此wire以供SignalTap II觀察,注意必須寫在分號前面,不能如下寫在分號後面。
wire [3:0] Cnt;/*synthesis keep*/ //錯
編譯後,SignalTap II就能順利的觀察到Cnt的值!!重點是不需改top module的interface,只需對想觀察的wire加上synthesis attribute即可。
Quartus II也支援Verilog 2001的語法
1 /*
2 (C) OOMusou 2008 http://oomusou.cnblogs.com
3
4 Filename : SignalTapII_wire_keep.v
5 Compiler : Quartus II 8.0
6 Description : Demo how to keep wire
7 Release : 10/17/2008 1.0
8 */
9
10 module SignalTapII_wire_keep (
11 input iCLK,
12 input iRST_N,
13 output [3:0] oCNT
14 );
15
16 // Verilog 2001
17 (*keep*) wire [3:0] Cnt;
18 reg [3:0] cnt;
19
20 assign Cnt = cnt;
21 assign oCNT = Cnt;
22
23 always@(posedge iCLK, negedge iRST_N) begin
24 if (!iRST_N)
25 cnt <= 4'h0;
26 else
27 cnt <= cnt + 4'h1;
28 end
29
30 endmodule
17行
(*keep*) wire [3:0] Cnt;
這是Verilog 2001的語法,Quartus II 8.0也能看得懂。
不過目前Quartus II 8.0並不支援對整個module下/*synthesis keep*/,原因不明,我實際用Quartus II 8.0測試,SignalTap II並無反應,且Quartus II的help也沒說可以對整個module下/*synthesis keep*/。
完整程式碼下載
SignalTapII_register_not_preserve.7z (不使用synthesis noprune)
SignalTapII_register_preserve.7z (使用synthesis noprune
SignalTapII_wire_not_keep.7z (不使用synthesis keep)
SignalTapII_wire_keep.7z (使用synthesis keep)
Conclusion
關於避免Quartus II優化reg,/*synthesis noprune*/與/*synthesis preserve*/還是有些差異,程式寫到很大時,可能一時很難決定要用哪一個attribute,可以交替試試看,反正1/2的機會,總會對一個。
會使用synthesis attribute之後,總算解掉長久以來,無法用SignalTap II觀察reg與wire的老問題,感謝網友們的指導。
See Also
(原創) 如何使用SignalTap II觀察reg值? (IC Design) (Quartus II) (SignalTap II) (Verilog)
(筆記) 如何增加SignalTap II能觀察的reg與wire數量? (SOC) (Quartus II) (SignalTap II)
转载自:http://www.cnblogs.com/oomusou/archive/2008/10/17/signaltap_ii_reg_wire.html
如何使用SignalTap II觀察reg與wire值? (SOC) (Verilog) (Quartus II) (SignalTap II)的更多相关文章
- FPGA开发流程(创建工程,选择芯片,变量位置,文件命名,reg和wire数据类型,开发流程)
开发流程(以二选一选择器为例) 1.设计定义:设计一个可以从两个输入端中选择其中一个并输出的逻辑电路 2.设计输入 2.1.逻辑抽象:三个输入端,一个用来选择,记sel,另两个被选择,记a,b,加上一 ...
- Reg于Wire的不同点
Reg 比喻为“相机” Reg型,是always中被赋值的信号,往往代表触发器,但不一定是触发器 Wire 比喻为“镜子” Wrie型,assign指定的组合逻辑的信号 好好想想 ,还是能有个大致的概 ...
- HDU2639Bone Collector II[01背包第k优值]
Bone Collector II Time Limit: 5000/2000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others ...
- reg 和wire 区别
reg相当于存储单元,wire相当于物理连线 Verilog 中变量的物理数据分为线型和寄存器型.这两种类型的变量在定义时要设置位宽,缺省为1位.变量的每一位可以是0,1,X,Z.其中x代表一个未被预 ...
- (转载)Quartus II中FPGA的管脚分配保存方法(Quartus II)
一.摘要 将Quartus II中FPGA管脚的分配及保存方法做一个汇总. 二.管脚分配方法 FPGA 的管脚分配,除了在QII软件中,选择"Assignments ->Pin&quo ...
- [LeetCode] Closest Binary Search Tree Value II 最近的二分搜索树的值之二
Given a non-empty binary search tree and a target value, find k values in the BST that are closest t ...
- GROUP BY 與 Null 值
若群組資料行包含了 Null 值,該資料列將變成結果中的一個群組.若群組資料行內包含了多個 Null 值,Null 值將放入單一群組內.此行為定義於 SQL-2003 標準之中. Product 資料 ...
- C 逗號表達式 與返回值
逗號表達式的返回值是最後一個表達式的值 int z; z=(,); printf("%d\n",z);//6 int a; printf(*,a*,a+));//20 a=3*5, ...
- [LeetCode] 272. Closest Binary Search Tree Value II 最近的二分搜索树的值之二
Given a non-empty binary search tree and a target value, find k values in the BST that are closest t ...
随机推荐
- 如何编译Linux内核
内核,是一个操作系统的核心.它负责管理系统的进程.内存.设备驱动程序.文件和网络系统,决定着系统的性能和稳定性.Linux作为一个自由软件,在广 大爱好者的支持下,内核版本不断更新.新的内核修订了旧内 ...
- xheditor
完整按钮表 |:分隔符 /:强制换行 Cut:剪切 Copy:复制 Paste:粘贴 Pastetext:文本粘贴 Blocktag:段落标签 Fontface:字体 FontSize:字体大小 Bo ...
- js隐藏表格的一行数据
1.方法 document.getElementById('customerAccount_tr').style.display="";//缴纳人名称显示 document.get ...
- (转载)iPhone开发视频教程 Objective-C部分 (51课时)
感谢好人的无私贡献!来源:http://www.cnblogs.com/aimeng/p/3370012.html 第一.二章 OC基础语法 iPhone开发教程 第一章 OC基础语法 i ...
- IIS - 无后缀(无扩展名)的MIME类型配置
添加一个新的 MIME 类型即可. 文件扩展名:. MIME类型:application/octet-stream
- [Todo]提升电商网站性能方面的一些资料材料
又到国庆,喷一喷12306.cn的技术架构 http://chengxu.org/p/369.html 其中用到了不少比较细节的优化技巧. 提到库存管理是电商非常难的地方.也讲了跟秒杀相关的一些内容.
- iFrame的妙用
(作者: Glen,返利网资深工程师,曾在EA等公司任职) 最近工作有个在项目-布兜收藏夹.简言之就是将喜欢的图片收藏到布兜页面上来,这其中用到了很多关于iframe的方面,总结如下: 1. 作为弹出 ...
- 如何用代码方式获取Web.config中system.serviceModel/client节点的address
以下代码GetAPIAddress将返回:http://localhost:2555/APITEST.asmx using System.Web.Configuration;using System. ...
- SSIS实践入门2:批量包的调度和SQLServer代理作业配置
趁着上一篇文章的余温,我们继续研究一下SSIS中多个包如何调度,难道需要一个包一个包的配置调度程序吗?显然不是的,接下来我们就说一说在SSIS应用中如何批量的调度所有的作业,本文只讲述一个基本的逻辑过 ...
- ExtAspNet下通过文档路径实现文档的下载
<ext:Button ID="Button1" runat="server" Text="Button" OnClick=" ...