7 @0 q% [# M0 Z) y$ o- d) s& k6 u7 E! t
在对复杂数字系统进行仿真测试时,设计者常常面对测试向量数量庞大而难以实现的问题。以数字图像处理系统的仿真测试为例,如果采用完备性测试方法.那么所需测试向量的数量将非常巨大,甚至无法实现:而采用测试向量波形图或者用HDL语言描述等常用方法.不仅仿真测试工作的效率低下,而且工作量巨大。在数字图像处理系统中,一帧320x240的数字图像所产生的测试向量数量达到320x240x2=153 600个。无论采用完备性测试方法还是向量波形图或者.HDL语言描述的方法,由于测试向量的数量极其巨大,采用这些方法都难以进行仿真测试。( o7 q6 C: A+ u& e; W- q9 b/ c7 Z& `
; U! |% M! x% C4 q! o9 m
* I5 I( d1 z1 J$ J$ @* B* m
7 e: {6 ]2 ^/ ], x; ]
针对这个难题,笔者提出一种进行仿真测试的新方法.该方法应用TEXTI0和:MATLAB来辅助仿真测试过程.使测试向量数量巨大、难以处理的难题得到很好的解决。以电视视频系统中实时多目标捕获单元的仿真测试为例.对这种新方法进行全面的讨论。 I2 v9 R6 t! R1 H, r5 @& @8 r # b0 H; }" Z. A" N3 P K; f i2 O' k( E. Y5 r+ w) f1 e( R
3 @6 Q6 E9 ^/ ~5 S 2 基于TEXTIO的VlII)L仿真8 @) i, h# k* T. q* e+ g% e" T
$ @# G" p1 a- w/ n* t" t # K8 N, U( t: i4 O7 n3 s" J1 J5 |# k- _" r# h
2.1 TEXTIO的功能; b, }! v/ v8 {1 H8 h
$ {( `, H0 F5 z / f4 Y; e$ D. Z' g
- K/ g m* h, Z TEXXTl0是VHDL标准库STD中的程序包(Package),它提供了VHDL与磁盘文件直接访问的桥梁。TEXTIO定义了3种类型:LINE类型、TEXT类型及SIDE类型。TEXTI0在程序包中定义了一些访问文件的过程(Procedure)。1 ~$ J$ `$ f* c O6 y! Y
: k, c; H w$ K5 \0 l l 7 u* F3 g* X9 G+ N G& t, f, a. ?5 }- o$ M/ s2 U5 d0 H TEXTIO提供的基本过程有: ) i4 H* D: @$ G5 U2 C& \; R/ _% q4 Q. Y - G0 L; f8 c" L: b) r ) ]0 ~6 j- B# Y. s( l- G 3 `6 c1 d8 R/ \+ s (1)procedure READLNE(文件变量,行变量),用于从指定文件读取一行数据到行变量中; 9 e7 R; K( U Z6 D* H. B) L8 ~2 ?+ W) j& u0 @
(2)procedure WRITELNE(文件变量,行变量),用于向指定文件写入行变量所包含的数据;2 i3 u' e9 e! B. w
! s X7 f4 P3 d: r" ~# B& B) W+ `6 g8 W (3)procedure READ(行变量,数据类型),用于从行变量中读取相应数据类型的数据.根据参数的数据类型及参数个数的不同.有多种重载方式,TEX-TIO提供了bit、bit、bit_vector、BOOLEAN、character、in-teger、real、string、time数据类型的重载; & [* ]; X+ D7 ]# `5 a ( c" u; F1 j' K* J1 W (4)mcedure WRITE(行变量,数据变量,写入方式,位宽),该过程将数据写入行变量。其中,写入方式表示写在行变量的左边还是右边,其值只能为left或right,位宽表示写入数据时占的位宽。例如write(Oufljne,OutData,left,2/表示将变量OutData写入LINE 变量OutLine的左边,占2个字节。 ( Y3 x( ~* _% ?+ b" Q8 {/ [ . h. K' x$ m- k# T; o0 |6 }, W + Q/ m1 S/ H, g$ b: {6 J* P | v/ G( q) X+ f 2.2 仿真测试方案 : `/ z* B# v3 A. B7 Z# j1 f& I& X6 w# z. M
$ E6 z6 r2 P: `) o7 {7 h0 D7 i8 a0 z" t z/ {) m `: f0 {, |5 L
使用TEXTO和MNTLAB辅助TestBench进行复杂数字系统仿真的方案框图如图1所示。 {7 f& ]4 n7 g2 ~. Y0 i9 m7 [# w+ K+ l2 }+ J7 H* R
) V R- v; E, h5 i/ F+ h
' X( ^. ~+ t, R
8 e1 ^; D1 w( P7 _4 O4 k+ i( L% d8 P2 M8 l
: ]2 r: k) ?+ T! O G, M& V ! J1 P7 R# N, ?) J# Y6 @! q 2.3 仿真测试步骤2 N" h% S/ a/ \6 K2 r% f
" {1 D2 x1 H* v4 b
7 K6 t( S) O$ b+ a( a4 q9 g# r' `: {5 e; b, D/ p
2.3.1 使用MATLAB生成测试激励文件/ N E' R& S# H! f" P
9 J/ p! @6 a+ v' h
$ ?+ @- k( J% F/ A% N% E5 }, r + \" N+ J1 Y& r/ Q$ F7 K' R" e MATLAB是矩阵实验室(Matrix Laboratory)的缩写,是1984年MathWorks公司推出的软件。经过20多年的发展,MATLAB已成为通用科技计算、图视交互系统和程序语言,广泛应用于研究和解决各种具体工程问题。 " U A1 ~4 Y. X% A D8 Z$ u/ ]5 o! t X c/ f9 s( ?, L4 i
, }+ a, h$ [7 K" F, K/ {* ?, v . _& I/ U8 Y5 y0 `+ T 在复杂数字系统仿真中,用户可以利用MAT-LAB的强大处理功能生成测试激励文件。测试激励文件的数据格式由设计者自行定义。测试激励文件应包含输入信号的测试激励数据.也可以包含输出信号的期望输出数据.这些内容常常以.ASCII码表示。; M0 t5 x3 x5 J8 t2 S1 T" x
6 f% W; j6 W- s% \0 B8 l _ 8 W% W( i* O7 i- V- D
7 x2 H6 s0 @: c3 A7 h( z
2.3.2 编写TestBench4 f+ h, e' z* V; I
( M$ o" j+ ^4 t, W! @& P' r 仿真结束后,仿真结果是否符合要求,用户可以通过二种方法来判断。一种是应用软件自动判断。即通过TestBench或其他软件(如MATLAB)对仿真输出结果和期望输出结果进行对比,从而得到分析结果:另外一种是人工判断.即设计者自行对仿真输出结果和期望输出结果进行对比,从而得到分析结果。 * J* m6 E/ m6 d! y N8 m# V$ D8 j : M4 p$ S. V7 z. l& I- P9 P - ~! q0 ]6 K% v( B: d. T7 V. `1 |0 u4 g ~& j$ b9 V0 a+ A9 X9 E
3 仿真测试实例7 h' I, c) [6 h- F' q+ W0 r @! _
M. y' n' n3 d. l
9 Z1 X) T w& }! J+ K; i+ Y7 h# v% Q9 N
& }0 B3 Y" z: ]7 W
3.1 电视图像实时目标捕获单元功能 " y$ G, u& j5 r' t4 P$ x $ T8 F( c I4 ~. F4 H ' P' G6 e- T2 A8 R- _2 i5 {8 Q2 J- P' ^4 t/ s8 E! r. e
电视图像实时目标捕获单元(以下简称待测单元)具有对电视图像中的目标图像进行实时捕获的功能。本例将用TEXllO和MATLAB辅助Test-Bench对待测单元进行仿真测试。( l8 I; W! s, W5 a a6 B
- a8 N/ d: j2 K9 E& n / a0 d$ A0 X4 i& F" N4 j 5 u" l7 @7 e* @ 3.2 需要产生的测试信号及波形 h' D: X& H5 f0 W/ d- P( p : Y( s Y2 e: O% C* c g6 S / y' Z' W. H) k* K
2 f1 x( P6 @" W 待测单元输入信号的时序如图2所示。其中,clk、vsy、hsy和ccd分别代表像素时钟、数字化后的场同步、行同步和二值图像信号。0 l" V9 h# ]( k- y1 m5 Q
0 \ \- r+ `0 a1 Y% s: }5 l
& d4 o, W" i5 d. A7 B7 m
; h$ a& K( x* A! k" H
2 E9 B! x- H1 T4 F4 A9 L
6 T: U8 {" O3 a( }% z `) I 用户设计的测试激励信号即测试激励文件中输入信号的激励数据,应符合图2所示时序的要求。7 x) \* _7 F3 x K
1 ?% S1 i& Q' p) l5 S3 G7 V ~ ! o- I1 w% _. d! ?# G
( M, R% S, s. B+ P3 a7 P hsy=l; * n% P- D7 {1 S/ q: A7 P ) S. M1 s& H M. w1 q else : x! [, E* A! `" { D 8 Y5 H' c$ E- ^* i% e: {# ` hsy=0; " l/ Y- \( C' l2 _& ?, n+ X' y! S0 T 1 K( x$ d0 W4 u6 W& G5 D" b p* s/ e end;3 ? Y1 h. f# l T4 W. l9 |0 T
7 [5 }9 X) L. c
%产生像素时钟激励! I" P/ I) V; S& P5 w
# x1 g6 _$ A5 [+ q. w8 W
if clk==1 . u q N, i ~- |+ q6 m 4 \% m% r4 P& ^ clk=0; q/ n5 p) ], T6 Z) y l# r' R! ?3 Y
else ; b2 b6 _- s% a1 H% n 0 O( p% ]* {$ h! {- ?* r# K9 m. P! Q. K! C clk=l; " y% @* h, w# ^( ]: a' a# V : _7 ^' W# V$ y+ { end; ; M `+ q' {! Y& g. j/ K+ k4 p) ^# n( n# O) d" W
%产生CCD激励# [# t" ~" }! ~& _$ y" H6 P- @# f
3 w s3 {, } r
if i>NEGTIME*FZ) W/ ?. Z/ y! y7 Q+ b
; f0 \7 j: S4 r- J xx=round((i-NEGTIME*FZ)/PPDOT+0.45): . i$ P1 B. |3 h; q/ k ) R: s/ m6 X4 [2 F0 `. z$ k, c ccd=round(image(yy,xx)); 7 C4 g6 l# k5 H) p8 m# { ( @9 `3 F3 k; A1 ` _# y- u else , u" E: n; a- _3 z5 u 5 M6 B+ c+ U, N7 i ccd=0; . @# C4 ?- ~. f+ K q' x : r( I T/ {9 p2 m! p, {; O end;7 u- z7 P& R5 t& \) W7 B
' s+ g8 E" I I2 S% f* ? %将激励写入测试激励文件+ E3 @/ c- j7 W1 e; D: Y; r8 P
1 Y Z4 Y* _! F! V; ? v& Y( y fprintf md.‘%d%d%d%d%d%d、Il’,clk,ccd,hsy,vsy);) x+ W+ O1 m4 k! M2 D% c* p ~
' \$ ]' ?1 p( f7 H
end;5 a% N) Q2 `# x* y. j J1 t* Q6 |
) s4 i# i* I A' @
end;; _1 L [. V! `9 q
( |9 _$ P9 i/ _$ U) A! B9 C9 L( e, _
产生的测试激励文件名称为TestVectors.inp,激励内容以ASCII码表示,信号之间用空格隔开,且一行代表一次激励。下面是测试激励文件中的一段内容,激励包含clk,ccd,hsy,vsy 4个信号: 9 {' Z8 ?/ q' ?; P, M4 B4 X/ t4 B2 p- M/ L& I5 o) z
0 0 1 1—clk=0 eed=0 hsy=l vsy=l t9 z# }0 h0 W4 P' \$ P9 U3 `
) f$ {: u( v, {' M$ z 1 0 1 1—clk=l ccd=0 hsy=l vsy=1 ) q5 F. D$ N, J# } # T4 p+ d z) v' O … * [$ r6 j) m7 ^0 t2 `+ y : c3 u) ?) e @- w, k3 _3 w* z ! }* \% s. Z/ s1 f; v$ s1 n , U/ p% D, Z2 o Q) k 0 0 0 1——clk=O ccd=0 hsy=0 vsy=1% K) U2 k% I9 Q: D
o- G3 E" `2 I# Z6 Y1 ^
…: i8 z) n7 |9 _! `8 w0 C
4 {( Q; f3 f2 @6 i $ z0 f3 [6 e8 R% j( q$ a* N" v9 L! O
进行仿真时。TestBeneh应用TEXTIO通过逐行读取测试激励文件得到待测单元输入信号的激励。! R% ]' k2 o9 G# | E
7 i$ r! p& c% S2 H
, u9 |: ?: ~1 n2 o7 i p) Q
$ A( o+ t! O! }
3.4 编写TestBench E. s/ {! o8 ~8 s9 s# z1 |0 G3 i ! A. r$ e- s" m ; T" G9 l! y& V# o& Z0 \1 a* E8 _4 \1 e) o6 s
TestBench调用TEXTIO读取测试激励文件得到激励,然后将这些激励分别驱动到待测单元的输入端口。同时,TestBench读取待测单元的输出结果,调用TEXTIO将仿真输出结果写入文件名称为Re-sult.out的仿真结果输出文件。 3 r8 j: [$ o, s W5 _ . a. q7 `: f l ! E1 {- ^0 R! n' o( U/ ]" ]
5 d3 m6 B$ c5 E' j; {( t3 `
以下是TestBeneh的核心代码: + ~+ p) v. o4 l4 V( L5 \1 | 9 W, T/ u1 k: H7 ^; F# { testprocess:process4 V( x" o# \1 l! O) v' d8 M
. P' x' M/ ~ k( R file vector_file:text open read_mode is“TestVectors. ' ?0 F0 ~+ F, K4 I3 ` H" \2 b7 C- ~- m7 s2 ^; e inp”:一指定测试激励文件" l9 Z3 U% ?5 O* A) w/ V. p
$ K' `' \# `% S; J \9 m G8 { [
file output_file:text open write_mode is“Reset.out”:- X3 F9 m" X# t$ l9 A2 Q
$ X/ {+ [4 C8 K& v( c
一指定仿真结果输出文件 . W& Y: G# w9 ^( q. m0 ^+ q 5 o4 S* p, ?5 D" q7 e7 { variable invecs,outvecs:line;4 h* F0 _+ G) L5 d2 U
( J3 F! ~% V# X# n% a; e
variable good:boolean; / `; K' t& M5 H" W, ~! M' y+ [ % e, w* t! J! @6 O variable eh:eharacter; 2 c. `) f+ N+ V+ V+ C( y7 W- T' r; H& ]- E
……( t6 a4 d7 p9 L5 D2 V% @3 l
) D9 o! u8 b/ X, T& ` / @: ^) u" _' t0 E/ @) G" {: v3 ^! p# X& z+ S2 A# s
while not endfile(veetor_file)loop; c4 h+ `6 ~) S
8 `2 _. f: N+ S2 _- S! |- C, @& V
readline(veetor_file.invecs);一读出测试激励文件一行内容.得到激励! B+ K3 g: r5 O W& n5 I: d
W4 e" \2 Z' K* z( \* y read(invees,vclk,good); 一一读取一个值给信号vclk ' a% `1 z6 E4 j( J u / q8 X/ p: H4 q6 [1 z read(invees,ch); 一一读取空格8 l; x2 ^6 g: P! x' f
5 ]( i) k0 ~' M$ t# e ……, Y/ w6 M# z g2 E- B9 S7 j' H/ A
3 a) K# r+ W. z5 [6 f% d' u
1 Z) y0 m' S6 P: s. P0 y% B5 T3 {) g+ Y
read(invees,wBy,good); 一读取一个值给信号vvsy+ L7 b: G9 z |0 u$ \! U y, k
' o$ O3 ]) `5 o
read(invecs,ch); 一读取空格, k. P2 C' @+ }0 w
; L7 q" `! h* L2 S% o8 x
……' Q S J0 I" s
& j8 l e- L1 {4 r6 H0 K 1 E+ ?+ V1 d( D; z5 m
: w' T; g! P: H2 b+ Z
clk<=vclk;一驱动待测单元的输入信号clk 4 X7 r# @* W- ]$ N2 Z L + H* T. n$ C% `+ F ccd<=vced;一驱动待测单元的输入信号ccd 6 j, R0 o G0 E7 m# R& S" Z% r" y& `2 U2 j1 |' u) i
hsy<=vhsy;一驱动待测单元的输入信号hsy8 A$ f% g2 r1 f R* ~4 d
5 `9 b5 `& q( s" I( e vsy<=wsy;一驱动待测单元的输入信号vsy & J# d5 H" e, B7 J9 e: {- r% e( u; b" B
……2 {% w6 _1 _$ F ]; C
3 V# ?+ c, H' e& U6 y' L: j3 f- O 5 K# \1 }: O) h
: I' I0 e3 g! N6 I1 [9 L
caseiis , @ q. E" F: E* ~' f- |. b, K7 G ' M0 L+ w9 n6 b; f8 Q1 T3 t5 M when 0=>out_string:=“frame_Yup0:”:一将目标0左上角Y坐标写入仿真结果 : |/ b: A# ]) @" L0 X% u% R5 E+ L. Y- D! T# v7 j1 q" Q
when 1=>out_string=“frame_Ydn0:”:一将目标0右下角Y坐标写入仿真结果/ P" [' S) Z( b2 s
1 u* p& Y4 M% ~3 P R7 E% {0 `
when 14=>out_strlng:=“frame_Xli3:”:一将目标3左上角X坐标写入仿真结果* D3 @7 s3 d4 y( a4 l: v7 V
3 j9 M3 D' L' p: {! O9 X
when 15=>out_string:=“frame_Xrt3:”:一将目标3右下角X坐标写入仿真结果 : }/ ^3 c, c) Z; A+ }6 x5 }5 T, Q8 B& R) T( e7 h l0 `
when other8=>null; + p% O, k0 e: O7 s! H# r# N s: X# ~# G
end case; ' q$ ]0 q$ ~0 R+ B0 r& M+ ]4 D( y6 k j) s
write(outvees,string’(out_string));2 H8 ^# I/ I H- T7 x+ U+ N6 g, ^
" V. v1 }1 G! L' A' z6 C' C+ k …… 0 U( K3 j- U& R& P$ m0 y" G 4 g2 N4 A6 G2 E 5 \$ [* A& \7 l! Y9 T: N, ?* ]
0 [. O' J2 M5 Y! N 3.5 Modelsim中显示的测试波形及测试结果 9 @ b% [# H8 e! k1 q9 i5 K- \& S* c
! t- [0 ^9 \! C1 p! _1 d6 d. b5 I1 y: q& E9 t8 ]/ j+ C8 G
在Modelsim提供的HDL仿真环境中,运行TestBeneh进行仿真测试,得到测试向量波形(如图3所示)、仿真波形(如图4所示)和仿真输出结果文件ResuIt.out。对仿真输出结果进行分析表明,仿真输出的目标位置与输入电视图像中的目标位置完全一致。 * C2 d, r0 C: ~5 k! M" s ! {9 v- `2 E1 A m8 Z# E1 Q9 o, o ' v( R& }2 ]4 b6 T3 x7 t, V5 `6 P