EDA365欢迎您登录!
您需要 登录 才可以下载或查看,没有帐号?注册
x
大侠好,欢迎来到FPGA技术江湖。本系列将带来FPGA的系统性学习,从最基本的数字电路基础开始,最详细操作步骤,最直白的言语描述,手把手的“傻瓜式”讲解,让电子、信息、通信类专业学生、初入职场小白及打算进阶提升的职业开发者都可以有系统性学习的机会。
3 G# [4 W1 n- B2 p$ H: v+ X7 |
系统性的掌握技术开发以及相关要求,对个人就业以及职业发展都有着潜在的帮助,希望对大家有所帮助。本次带来Vivado系列,Vivado逻辑分析仪使用教程。话不多说,上货。
8 _6 j% b7 V* n7 u1 N Q
% y. O' |+ R+ a0 F4 ^Vivado逻辑分析仪使用教程
( t/ {* d' ]& G* ~
+ a: A0 Y, d6 ^; K. \
% B, c) i1 |& x$ S传统的逻辑分析仪在使用时,我们需要将所要观察的信号连接到FPGA的IO管脚上,然后观察信号。当信号比较多时,我们操作起来会比较繁琐。在线逻辑分析仪就比较好的解决了这个问题,我们可以将这些功能加到FPGA设计当中。! e& i; c& m1 z! |
- ]* }. \. L. S+ g# L
: B+ M3 r6 f8 b/ D# |6 S
& p3 \; W' P/ x: m9 g' C' e& f, ~& Z4 D: k% n7 {, D! O, h
; U* a" y/ I8 C; H, E
其中待测设计就是我们整个的逻辑设计模块,在线逻辑分析仪也同样是在FPGA设计中。通过一个或多个探针来采集希望观察的信号。然后通过JTAG接口,将捕获到的数据通过下载器回传给我们的用户界面,以便我们进行观察。 在逻辑分析仪使用的过程中,我们一般常用的调用方法有两种: 1、IP核 2、mark debug标记信号 $ _! n* T+ l4 O7 s; Q$ W- u- P0 H
接下来我们先说一下第一种方法。这种方法需要我们打开IP核管理器,在程序设计中例化ILA。首先我们打开IP核管理器,搜索ILA,双击打开。
! Z; Z9 N+ @. K4 }, y* E0 c! e
' B/ ^5 h7 J% T, T) A, T9 q
7 v! ]8 Y' {) N6 _. U
- c: @1 C0 H6 m7 g- Y [( g2 _3 ^6 |1 n* U6 [1 h& ~* q# M# A
4 m% u; f8 u/ E1 C1 y0 \. H4 V* U
* k: h: G2 n8 J/ U" \9 Z
: K7 A8 m- q, q0 [, e7 _
) b- h: `/ W' C/ Z- B2 G# g
在此配置界面,我们配置几项内容。首先是Component Name,我们可以给我们的逻辑分析仪起一个名字,比如我在此改为my_ila。 + x E/ j) O" ~. f/ x i
8 {3 q [" G- r在number of probes选项选择我们需要观察的信号个数,我们以流水灯为例,我们可以观察一下代码设计当中的计数器cnt以及输出led。所以我们在此项设置为2。Sample data depth为采样深度,采样深度影响到了我们可以观察的信号长度,大家可以根据自己的需要进行设置,在此我选择深度为1024。 1 ]- q; d- J4 u: q( b
5 x- D/ Z: M z/ x# N9 v
' \3 W8 r) r0 y- L, d
0 ^. A- y0 ?9 M$ U7 h' O0 b, ]7 ~- h& F
& L; K( z# o' u9 } Z) ]3 s* g
f1 W* r4 t3 q) g2 k
" W5 g# [+ e/ Y, D: w+ {' n& G& F
" C, q. j5 V- e2 _, `- v % R5 J! f) F* J5 w+ N
然后在Probe ports里面设置被观察信号的位宽。计数器为26位,led输出为4位,那么我们将位宽设置好,点击OK生成IP核。
8 }5 v7 ]7 K f/ ^2 _5 Z, q, Z, Z) p' B* i* U: Q* _5 M& p
$ e* V$ p' [: n) G' J, C- l3 J7 V* }# @! d0 i2 Z6 |! a5 {* {4 O
5 Z, R! o; Y! Q1 b+ |# u+ K1 G( v) Z. @
, \6 Q B( H* l* C: e7 Z% \
4 T8 k: s: Q4 `0 ^在这里,我们简要介绍一下Vivado的OOC(Out-of-Context)综合的概念。对于顶层设计,Vivado使用自顶向下的全局(Global)综合方式,将顶层之下的所有逻辑模块都进行综合,但是设置为OOC方式的模块除外,它们独立于顶层设计而单独综合。通常,在整个设计周期中,顶层设计会被多次修改并综合。但有些子模块在创建完毕之后不会因为顶层设计的修改而被修改,如IP,它们被设置为OOC综合方式,OOC模块只会在综合顶层之前被综合一次。这样,在顶层的设计迭代过程中,OOC模块就不必跟随顶层模块,而进行一次次的会产生相同结果的多余的综合了。所以,OOC流程减少了设计周期时间,并消除了设计迭代,使大家可以保存和重用综合结果。
# Z; G) H. v* L; C* N, l
Out-of-Context(OOC) 综合是一种自底向上的设计流程,默认情况下,Vivado设计套件使用OOC的设计流程来综合OOC模块。OOC模块可以是来自IP catalog的IP、来自Vivado IP Integrator的block design或者顶层模块下手动设置为OOC方式的任何子模块。 ; |0 J6 @& A- u# S' F$ O) p
来自IP catalog的IP就默认使用OOC综合的方式,例如上图中的“Synthesis Options”选项就设置为了“Out of Context Per IP”。这些IP会在顶层的全局综合之前,单独地进行OOC综合并生成输出产品(Generate Output Products),包括综合后的网表等各种文件。在对顶层进行综合时,OOC模块会被视为黑盒子,并且不会参与到顶层的综合中来。在综合之后的实现过程中,OOC模块的黑盒子才会被打开,这时其网表才是可见的并参与到全局设计的布局布线中来。 ) A- O) Z6 q( u$ h. ]
OOC综合完毕之后如下图所示: ! u8 S* J. {5 r7 _& b
4 P: o T6 z3 T/ C7 m- B1 m& n+ v
% M) w4 S- C$ H+ U6 S9 F# V, L0 T1 T
) F$ G( E9 [1 K0 y8 i
" p `' F2 p, N+ r6 d- w
1 `' a* G" s& N3 _ . Q- e+ c' v8 t9 {) Z
IP核调用完成之后,我们在IP sources窗口中打开IP核的instantiation template。my_ila.veo文件为例化的头文件,我们双击打开,将下图内容复制粘贴到顶层文件当中即可。
u+ K- C5 I' ^. B+ e p6 A6 _) @5 D$ |; N! T( B, J3 `1 Y+ V) E3 g3 k
5 f7 t- s8 P/ l$ S |
7 O1 s$ b& ^( n9 y) e
6 h( v# i8 X: W' J- Q$ w
M' n2 z" `/ H2 P+ s& m. M# i! ^) E 7 Q$ D* N- K; m, N
$ ~& l9 d9 m* k- z- m) [% G6 I& m4 A7 w; s0 p5 V
3 ]/ y7 k7 ^7 r8 z1 Y+ \
# e l4 v7 h; {4 M) {: B8 {: e
/ o6 A2 j6 U. C, N5 ?, W9 F复制好之后,我们将信号做一下连线,改一下例化名。那么我们的逻辑分析仪调用就完成了。 调用完成之后,我们将文件保存,然后生成下板文件进行下板。 + l& e+ {; Z2 G n( r6 E
, {! @: u6 L1 B; L$ P- L! h' s8 B. f) r
下板时,界面中出现两个文件。第一个文件为bit流文件。第二个为逻辑分析仪文件。直接点击program。下载完成之后会出现如下界面。 2 s5 `6 {' Z- o; t' x/ w" H5 J( a
+ q. J/ Z7 \* Z- Z
" I: _# B) |4 y `1 y' I
! y! A6 D' Z+ x/ [! u! u
在开始观察波形之前,我们需要先在右下角小窗口里面设置触发信号。这个我们可以理解为我们想要观察的波形的位置。比如我们可以观察一下led为第二个灯亮,且计数器数到1000的位置,那么我们的设置如下图:
* Y6 P' M, B1 M. y) Z/ j3 d
( `+ U- L9 w# ? S0 U
+ K4 t: ^& \( s! m& H
+ K8 H5 j" B, C" Y( }+ q$ `
$ T7 s9 s) `/ g( Y
设置好之后,我们点击波形界面的三角形符号,进行触发,那么就可以观察到我们的波形了。
, b7 c# c- L# Q; b4 E& M, v9 }: ]% Y* l8 P7 }
* K6 h3 t5 }/ I8 [0 S4 d1 y3 Z/ V, q
& W# ]8 d) [4 K) C' S [/ F; G9 Z* ^
) ]( J# l& n4 v; e8 k1 {6 q+ T, p + m& \8 H' O" K. } r' [* B9 X, ]
第二种方法: 6 U# w( C! v% T1 A- X
“网表插入调试探针流程”需要在综合后的网表中,将要进行调试观察的各个信号,标记“Mark_Debug”属性,然后通过“Setup Debug”向导来设置ILA IP核的参数,最后工具会根据参数来自动创建ILA IP核。我们点击“Flow Navigator”窗口中的“Open Synthesized Design”按钮,如下图所示: " a4 }9 G$ b+ P+ {! U" W
* n2 H O; m1 i4 q% F
R% }" n: U4 w; J I8 u5 P, k- x$ T! g
在综合后设计的窗口布局选择器中,我们选择“Debug”窗口布局,如下图所示:
l. \1 L4 k/ L4 ^( D
) r; ]- `; @& U/ _5 g, e
6 ?* j# W, W* @0 T0 J4 V% F( M( \1 z( W$ a/ P) I; S5 O8 E
) r9 Y H b# G$ f0 R
此时,Vivado打开了“Netlist”子窗口、“Schematic”子窗口以及“Debug”子窗口。其中,“Netlist”子窗口和“Schematic”子窗口都用于标记要进行观察的信号,“Debug”子窗口用于显示并设置ILA IP核的各个参数。如下图所示: + k7 J* f- b2 {) U: g/ V8 Q( j
- V: H0 E' T- Y$ b K
& d( t9 b/ W3 _ J; }& [" p! d/ H
在“Debug”子窗口中,又包含两个选项卡“Debug Cores”和“Debug Nets”。这两个选项卡都用于显示所有的已标记为“Mark_Debug”的信号。不同之处在于,“Debug Cores”选项卡是一个更加以ILA IP核为中心的视图,所有已标记为“Mark_Debug”的信号并且已经被分配到ILA探针的信号都会被显示在各个ILA IP核的视图树下,已标记为“Mark_Debug”的信号但是还没有被分配到ILA探针的信号被显示在“Unassigned Debug Nets”下,当然也可以在其中查看和设置ILA IP核的各种属性和参数。“Debug Nets”选项卡仅显示已标记为“Mark_Debug”的信号,但不显示ILA IP核,所有已标记为“Mark_Debug”的信号并且已经被分配到ILA探针的信号都会被显示在“Assigned Debug Nets”下,已标记为“Mark_Debug”的信号但是还没有被分配到ILA探针的信号被显示在“Unassigned Debug Nets”下。 3 v2 ^! F) r% g9 |
我们首先标记要进行观察的信号,以led信号为例,在“Netlist”子窗口中的“Nets”目录下,找到“led_OBUF”网络,右击该网络(此时右边的“Schematic”子窗口也会自动地高亮选择此网络,因为“Netlist”子窗口中的对象和“Schematic”子窗口中的对象,两者之间是交叉选择的),在弹出的菜单中心选择“Mark Debug”命令,如下图所示: ; ~6 q5 | ?. `: b" x$ K0 b7 P) J& r
& B+ |) v! G" `9 \7 g
$ ^# W3 Z8 D* u& U+ m2 L1 l
3 {8 n" C! p" q
也可以在“Schematic”子窗口中选择网络,然后右键选择“Mark Debug”命令,如下图所示: + {3 f* s; r0 M+ b6 v3 z
0 Q! a$ K! q X1 _# s5 s+ L
2 g/ J: v- M- ]. n4 p; A
- B* Q4 d4 O9 A; t7 x- T) D
' {5 X2 [ J; ]% ?& X* D# h
另外,也可以在HDL源代码中为想要观察的reg或wire信号添加“Mark Debug”属性,例如:(* mark_debug = “true” *)reg [25:0] cnt ; 其中“(* mark_debug = “true” *)”必须紧挨在变量声明的前面。这样,在综合完之后打开综合后的设计,counter信号就自动被标记了“Mark Debug”属性。此时在“Debug”子窗口的“Debug Nets”选项卡的“Unassigned Debug Nets”目录下就会出现我们刚刚标记的“led_OBUF”网络。 . m+ U1 q, d* m+ P/ N/ I
1 P% ~7 a+ M: `; O
此时“Debug”子窗口的“Debug Nets”选项卡的“Unassigned Debug Nets”目录下就有了“led_OBUF”和“cnt”两个信号,如下图所示:
+ Z: K# I* s% F! t, B6 T6 a
/ H" s1 u4 y0 i# t# M
# k* V8 `6 c0 U3 M! i
+ I: D0 w: M! G2 K/ g/ W
之后我们点击“Debug”子窗口中的“Setup Debug”按钮,如下图所示: , A8 Z: X% N2 e. f1 f' |
, N0 _) r( S0 U8 C9 U, y
9 ], i7 i( p3 p/ _( B% @- v- U* D# \2 w8 h9 y) e' O# q
s$ s" ]) l& Z+ M' z" Z3 R
+ G0 R3 A8 b- v8 o% P弹出“Setup Debug”向导,我们直接点击next,如下图所示: ! I5 m' T' v1 S
9 a* w+ h7 \ K9 f3 C
. _" W' H/ V7 J$ b1 J. R: \& N5 @1 [# Y7 ]; v
5 U# a- X! ?) {- z
0 I t3 D1 T+ a! E3 d7 z9 o ' Z. F( y: x+ a* {8 T! ^" {
接下来的页面是选择用于采样待测信号的时钟域,Vivado会自动识别出各个待测信号所属的时钟域并将其自动设定为其采样时钟,例如,我们刚刚添加的这“led_OBUF”和“cnt”两个信号就属于“sys_clk_IBUF”时钟域,并且Vivado也已经自动将“sys_clk_IBUF”时钟设置为了这两个信号的采样时钟,如下图所示:
; ^7 h: |" E, b4 Y
4 i% @: g, l$ x% w
$ w, A' \* c8 g( d
1 T# }' n s6 O* t
4 P5 x3 q2 e& M7 w: H" C, n& e* k: X: [, `% |6 ?% [) A
& s- j7 y* L- o4 C( X$ _! L
. K8 z! _7 A5 O" T# r
当然,用户也可以手动指定各个用于采样待测信号的时钟域,右击待测信号,选择“Select Clock Domain”,弹出“Select Clock Domain”窗口,如下面两个图所示: 7 [8 O( Y2 p6 ?8 u5 F; f
- k+ g! Q1 t6 c0 C* g
* q5 D* {# O( \: @6 H! h0 T2 \0 A9 Y8 W% q5 z. S# _
+ K" y6 Y' V% M! Z
) n7 z% [( F% i# {- |8 j4 z
( R1 D" _, C' ^+ `/ {* h3 d; P
/ d' E9 [4 S- H2 L2 |9 c
' K* ?8 D7 @6 R: L I+ T: U$ ^ / `1 a' W- O2 p2 u- I# Q4 e1 E
$ t- y) {! H: m |2 s3 N, g0 h
! @1 a F6 a- O% ?在“Select Clock Domain”窗口中就可以选择用于采样待测信号的时钟了。“Setup Debug”向导会为每个采样时钟生成一个单独的ILA IP核,由于本例程中只有一个时钟,所以这里最后只会生成一个ILA IP核。设置完采样时钟后,我们点击next,接下来的页面用于设置ILA IP核的全局设置,如下图所示:
- o: u" E$ i6 f; O# `8 G
" T; Q% T$ H* ]2 _. G$ s0 U! \8 q. D1 k1 }1 e! U
5 n A }$ {, D' P X/ o1 ?, ]9 ^
" O5 X" @; _0 _/ k: D
3 V, N: q" D0 X) }3 n
其中“Sample of data depth”用于设置采样深度,“Input pipe stages”用于设置待测信号和其采样时钟之间的同步级数。如果在上一个设置时钟域页面中,存在与其采样时钟之间是异步的待测信号,则为了避免亚稳态,此数值最好不要低于2。由于本例中的两个待测信号的其采样时钟是同步的,所以可以设置为0。我们点击next,就进入了最后的概览页面,确认无误后直接点击finish即可,如下图所示: . P U1 `8 d7 N& U! [3 @8 N& G8 T& X; F
) U0 F6 | B$ u+ K2 ^ d5 A
3 V1 T2 L" V8 Q' ]& D+ P# g1 G5 P0 Q- ^% X0 R# O5 \
I! I" e* i4 T, \ V* j( E7 J" I4 _3 a
$ ] w/ C2 {$ j j9 `0 s: c
( X4 R m6 @. O, m
) K# ^: C, Q8 u+ @* r, I' C( q6 {4 p在“Debug”子窗口中的“Debug Cores”选项卡中,可以看到Vivado已经添加了ILA IP核,并且“Unassigned Debug Nets”目录下已经没有未被分配的信号了,如下图所示: 1 j6 G8 h+ P1 Z4 ?9 L9 C' X
k& z4 ]6 x( Z8 |; ^8 m; p, v2 X
" w! d+ }/ F- b4 s0 `
& ^, x2 v0 {4 f: O/ b. O4 J
0 C0 `2 W& U" }; z, L
1 e: \ x: A0 o+ E$ [9 b
; @. i% ^; |& q N
' E. [2 V+ C; @7 \( L: Y1 Z
) y, s" l/ ?; x# i9 M8 `$ C
) x! N! Y3 ]. f R
网表中被标记为Mark Debug的信号也变为了虚线,以表示其完成了ILA IP核的分配,如下图所示: 2 D5 b. O& }& S# I- Q6 v
- J! k+ u( g+ y: z0 U( {) @# e
5 y* P- ~( f5 o: R) g
8 d! c* p0 a3 b* {& q& e: u2 } 5 E9 y6 j6 z0 h% Y
9 j) `# w9 w7 E, n) b
: o6 O0 l! X, R% D: ]) _ 8 V3 ^# q) e' X, M
2 p7 Q V1 v/ F& R8 W* Q C . K) ^) _$ C4 R
前面我们提到过,在“网表插入调试探针流程”中,用户设置的调试信息会以Tcl XDC调试命令的形式保存到XDC约束文件中,在实现阶段,Vivado会读取这些XDC调试命令,并在布局布线时加入这些ILA IP核。此时,我们所做出的所有的更改和设置,都还只是停留在电脑内存中,我们需要将其保存在硬盘的XDC约束文件中,点击工具栏中的保存按钮,如下图所示:
7 g7 ~5 W7 f" V4 E2 ~' u3 j( {+ T/ Y" U) o1 G8 Q; V* p" C
2 |0 F: Q! V0 r
9 a& S8 R1 c1 l2 _$ }- i; v; Y" n7 v+ L- H* L% _* M% r
. T: v% A8 s. m" z
/ t% U+ p& Y; I4 t* ^2 b$ b: f8 m# @: M
$ ]& K0 P T) s" Y 2 \/ ?* N( N) S. c0 Y6 p1 P$ J% @3 n
在出现的对话框中直接点击OK,如下图所示:
+ u( a3 i0 K4 }5 w0 Z' _3 ^% g+ e
2 J! a; {/ z0 N( z, K. k
/ `. b2 T B: a0 J' M& W! c, G! K4 S5 V$ |9 r9 Z2 Z
5 l1 c7 @0 _7 R$ Z/ }1 W- W" n
9 c3 u) I0 v( k! \
1 `5 V j+ q' ]8 y; \
3 m5 J4 Z+ f& f# A ^( D* Z( j) J0 k0 ]
弹出的“Save Constraints”窗口中,用于询问用户将约束保存在哪个XDC约束文件中,本例的工程中只有一个XDC约束文件,如下图所示,我们直接点击OK即可: 3 J2 W# w) r0 `6 ~, t
) G: Z5 J' p% j( l
. m3 p9 P, {1 N$ J/ F
& p- r' S% a% F + _5 w% Z$ e) k& J+ j/ c+ j/ K/ L
) d% G/ v" }% l5 `, L. G
$ ^+ W. ?: s) e# x! J! a) R
' s# K D- W" k7 [
4 K) p6 U5 P0 z/ ^% g ! U- O: D9 Z O- v* i8 X. S
此时,我们打开led_twinkle.xdc,就会看到在用户约束的下面,Vivado自动写入了用于debug的约束,如下图所示: # l1 O. F! T* ~7 G) z- D5 P( R
( _- |/ |0 t$ L8 K& s1 c5 ?& a9 d
x3 s. S/ o9 i6 J7 X3 Y Q$ q' [2 @" H# V+ W$ N: Z
, E/ `0 M; A2 h, |# y
: R) q3 g- l3 _
' O7 J6 g6 P! ~& g! h
# a% Z1 u. g1 {* j
5 p" G/ D# H4 o+ H! G# H/ s ~+ @" [* Y7 v5 p7 G2 g
在实现阶段,Vivado会读取这些约束,并按照这些命令的参数来自动地在布局布线时加入ILA IP核。至此,我们就成功地使用“网表插入调试探针流程”将ILA IP核添加到了设计中。接下来就可以将实现设计并生成比特流,最后将比特流下载到FPGA中,以对信号进行在线观察,这一部分内容在上面第一种方法里面已经介绍过了,在此不再重复介绍。 2 G* K) m7 @9 p+ N$ D% w
" v, ]4 f6 r+ Q5 k; Z
7 @! U& P2 d/ ]7 D8 q& y
|