1 |
27 |
jt_eaton |
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
|
2 |
|
|
<html>
|
3 |
|
|
<head>
|
4 |
|
|
<meta http-equiv="CONTENT-TYPE" content="text/html; charset=UTF-8">
|
5 |
|
|
<title>Verification Guidelines</title>
|
6 |
|
|
<meta name="GENERATOR" content="OpenOffice.org 3.0 (Linux)">
|
7 |
|
|
<meta name="CREATED" content="0;0">
|
8 |
|
|
<meta name="CHANGED" content="20100309;9312200">
|
9 |
|
|
<meta name="KEYWORDS" content="start">
|
10 |
|
|
<meta name="Info 3" content="">
|
11 |
|
|
<meta name="Info 4" content="">
|
12 |
|
|
<meta name="date" content="2008-01-08T12:01:41-0500">
|
13 |
|
|
<meta name="robots" content="index,follow">
|
14 |
|
|
</head>
|
15 |
|
|
<body dir="ltr" lang="en-US">
|
16 |
|
|
<h1><a name="socgen_project"></a><big>SOCGEN Project</big></h1>
|
17 |
|
|
<h2><br>
|
18 |
|
|
</h2>
|
19 |
|
|
<h2><a name="manifesto"></a>Verification Guidelines</h2>
|
20 |
|
|
<p><br>
|
21 |
|
|
<br>
|
22 |
|
|
</p>
|
23 |
94 |
jt_eaton |
<p>Verification is the process of stimulating a component
|
24 |
27 |
jt_eaton |
module and checking that it produces the correct outputs. Stimulations
|
25 |
|
|
are designed to
|
26 |
|
|
ensure that all of the components functions are exercised and any
|
27 |
28 |
jt_eaton |
deviation from the expected behaviour is reported as an error.
|
28 |
|
|
Every
|
29 |
27 |
jt_eaton |
component must have at least one test case but may have as many as
|
30 |
28 |
jt_eaton |
needed to fully verify the design. All components will have at least
|
31 |
|
|
one interface and a bus functional model (bfm) must be created for each
|
32 |
|
|
and every interface.<br>
|
33 |
27 |
jt_eaton |
</p>
|
34 |
|
|
<p>A complete test suite is required for every component module.
|
35 |
|
|
Each test_case is simulated and the log file will indicate whether the
|
36 |
|
|
test passed or failed. Other output files such as dump files may also
|
37 |
|
|
be produced duging the simulation.<br>
|
38 |
|
|
</p>
|
39 |
|
|
<p><br>
|
40 |
|
|
</p>
|
41 |
|
|
<p></p>
|
42 |
|
|
<br>
|
43 |
|
|
<p><img style="width: 800px; height: 600px;" alt=""
|
44 |
|
|
src="../png/ver_fig1.png"><br>
|
45 |
|
|
</p>
|
46 |
|
|
<p><br>
|
47 |
|
|
</p>
|
48 |
|
|
<p>A test suite is needed for every piece of IP in the design and
|
49 |
|
|
creating this suite can be a very labor intensive operation. It usually
|
50 |
|
|
takes four hours to create the test_cases for each hour that was spent
|
51 |
|
|
creating the rtl code. A full test must be run on every leaf cell
|
52 |
|
|
component and some of these are repeated as the components are used as
|
53 |
|
|
children of other components. It is essential that all test_cases
|
54 |
|
|
are written so that they may be reused when testing the component when
|
55 |
|
|
it it part of a parent component.<br>
|
56 |
|
|
</p>
|
57 |
|
|
<p><br>
|
58 |
|
|
</p>
|
59 |
|
|
<p><br>
|
60 |
|
|
</p>
|
61 |
|
|
<p><br>
|
62 |
|
|
</p>
|
63 |
|
|
<p><br>
|
64 |
|
|
</p>
|
65 |
|
|
<p><br>
|
66 |
|
|
</p>
|
67 |
|
|
<p><img style="width: 800px; height: 600px;" alt=""
|
68 |
|
|
src="../png/ver_fig2.png"><br>
|
69 |
|
|
</p>
|
70 |
|
|
<p>In this case a new component is created by combining two leaf
|
71 |
|
|
cell components and its test_case is created by combining blocks from
|
72 |
|
|
those two components test_cases.<br>
|
73 |
|
|
</p>
|
74 |
|
|
<p><br>
|
75 |
|
|
</p>
|
76 |
|
|
<p><br>
|
77 |
|
|
</p>
|
78 |
|
|
<p><br>
|
79 |
|
|
<br>
|
80 |
|
|
</p>
|
81 |
|
|
<p><br>
|
82 |
|
|
</p>
|
83 |
|
|
<p><img style="width: 800px; height: 600px;" alt=""
|
84 |
|
|
src="../png/ver_fig3.png"><br>
|
85 |
|
|
</p>
|
86 |
|
|
<p><br>
|
87 |
|
|
</p>
|
88 |
|
|
<p>Every interface on the component is connected to it's own bfm model
|
89 |
|
|
that contains all the tasks needed to test the interface. The calling
|
90 |
|
|
sequences needed to preform a particular test are all loaded from a
|
91 |
28 |
jt_eaton |
sperate test_define file. It is important that each interface has its
|
92 |
|
|
task calls in
|
93 |
|
|
a seperate code block in the test_define file. The goal is to develop
|
94 |
|
|
these models and task
|
95 |
27 |
jt_eaton |
calls on the component simulation and then reuse them as the
|
96 |
|
|
component is used in larger designs. Interleaving task calls for
|
97 |
|
|
different models makes that difficult.<br>
|
98 |
|
|
</p>
|
99 |
|
|
<p><br>
|
100 |
|
|
</p>
|
101 |
|
|
<p><br>
|
102 |
28 |
jt_eaton |
</p>
|
103 |
|
|
<h2><a name="manifesto"></a>Protocol checkers and monitors<br>
|
104 |
|
|
</h2>
|
105 |
27 |
jt_eaton |
<br>
|
106 |
28 |
jt_eaton |
|
107 |
|
|
Protocol checkers and monitors are similar to a bus functional
|
108 |
|
|
models except that they are for obsevation only and cannot
|
109 |
|
|
control any signals. They watch every transaction that occurs on the
|
110 |
|
|
interface and reports a failure when anything violates that interfaces
|
111 |
|
|
defined protocols. <span style="font-family: serif;"> They are created
|
112 |
|
|
in a seperate module and may be instantiated in the testbench and
|
113 |
|
|
connected to an interface.<br>
|
114 |
|
|
<br>
|
115 |
|
|
The same protocol checker can also be included in the rtl code so it
|
116 |
|
|
can monitor an interface that is buried deep inside a chip. Once
|
117 |
|
|
inserted in the rtl source it will watch for and report errors
|
118 |
|
|
that may occur during the regression suite. Since protocol checkers
|
119 |
|
|
are not synthesizable they must be excluded from synthesis with a
|
120 |
|
|
`ifndef SYNTHESYS statement.<br>
|
121 |
|
|
<br>
|
122 |
|
|
Monitors are similar to protocol checkers except that they are designed
|
123 |
|
|
to be implemetent in actual logic. If they ever fire during
|
124 |
|
|
product usage then these events should be latched and saved for later
|
125 |
|
|
debugging.<br>
|
126 |
|
|
<br>
|
127 |
|
|
</span>
|
128 |
|
|
<p><br>
|
129 |
|
|
<br>
|
130 |
27 |
jt_eaton |
</p>
|
131 |
|
|
<p><br>
|
132 |
|
|
</p>
|
133 |
|
|
<h2><a name="manifesto"></a>guidelines for creating reusable test_cases<br>
|
134 |
|
|
</h2>
|
135 |
|
|
<br>
|
136 |
|
|
All test_cases will have a master clock and reset signal.
|
137 |
|
|
The DUT and all models will respond to the reset signal. Anything in
|
138 |
|
|
test_define will only change state on the rising edge of clock.<br
|
139 |
|
|
style="font-family: serif;">
|
140 |
|
|
<br style="font-family: serif;">
|
141 |
|
|
<span style="font-family: serif;"> All test_cases will be
|
142 |
|
|
self-checking. Test suites are usually run by scripts and robots
|
143 |
|
|
that need a simple method to determine wether a test_case finished and
|
144 |
|
|
passed. </span><br style="font-family: serif;">
|
145 |
|
|
<br style="font-family: serif;">
|
146 |
|
|
<span style="font-family: serif;"> All models, tasks and protocal
|
147 |
|
|
checkers will use a common method to report if there is a failure.</span><br
|
148 |
|
|
style="font-family: serif;">
|
149 |
|
|
<br style="font-family: serif;">
|
150 |
|
|
<span style="font-family: serif;"> All test sequences will use a
|
151 |
|
|
common method to signal the successful completion of the test</span><br
|
152 |
|
|
style="font-family: serif;">
|
153 |
|
|
<br style="font-family: serif;">
|
154 |
|
|
<span style="font-family: serif;"> All messages in the log file
|
155 |
|
|
must use the following format:</span><br>
|
156 |
|
|
<br style="font-family: serif;">
|
157 |
|
|
<ul style="font-family: monospace;">
|
158 |
|
|
<li><big>Time stamp This is the
|
159 |
|
|
$realtime formated by %t</big></li>
|
160 |
|
|
<li><big>Instance Name This is obtained with
|
161 |
|
|
%m</big></li>
|
162 |
|
|
<li><big>Message Type This is either
|
163 |
|
|
ERROR or WARNING. No type indicates informational message</big></li>
|
164 |
|
|
<li><big>Message
|
165 |
|
|
|
166 |
|
|
|
167 |
28 |
jt_eaton |
|
168 |
|
|
|
169 |
94 |
jt_eaton |
|
170 |
27 |
jt_eaton |
</big><br>
|
171 |
|
|
</li>
|
172 |
|
|
</ul>
|
173 |
|
|
<br style="font-family: serif;">
|
174 |
|
|
<br style="font-family: serif;">
|
175 |
|
|
<p style="font-family: serif;"> All test cases MUST have a
|
176 |
|
|
finite run time. Use a TIMEOUT counter to stop the sim if it
|
177 |
|
|
exceeds the expected number of clocks<br style="font-family: serif;">
|
178 |
|
|
</p>
|
179 |
|
|
<span style="font-family: serif;">
|
180 |
|
|
<code><span style="font-family: serif;">All test_cases must be
|
181 |
|
|
deterministic. If any pseudorandom delays are used they must be
|
182 |
|
|
"seeded" and repeatable from run to run.</span></code></span><code
|
183 |
|
|
style="font-family: serif;"><br>
|
184 |
|
|
<br>
|
185 |
|
|
<br>
|
186 |
|
|
<span style="font-family: serif;"> </span></code><span
|
187 |
|
|
style="font-family: serif;"><code><span style="font-family: serif;">Do
|
188 |
94 |
jt_eaton |
not interweave threads in the test_define blocks. Each fork/join block
|
189 |
|
|
should
|
190 |
27 |
jt_eaton |
only access a single BFM.</span><br style="font-family: serif;">
|
191 |
|
|
<br style="font-family: serif;">
|
192 |
|
|
<br style="font-family: serif;">
|
193 |
|
|
<span style="font-family: serif;"> Plan on designs where you will
|
194 |
|
|
need to test multiple instances of a component</span><br
|
195 |
|
|
style="font-family: serif;">
|
196 |
|
|
<br style="font-family: serif;">
|
197 |
|
|
<span style="font-family: serif;"> Only test a single
|
198 |
|
|
configuration or mode in any test_case. If you need to test 3 different
|
199 |
|
|
modes then create 3 different test_cases. The exception to this is when
|
200 |
|
|
there is a mission mode requirement to switch modes and you are testing
|
201 |
|
|
that switch. </span><br style="font-family: serif;">
|
202 |
|
|
</code></span>
|
203 |
|
|
<p style="font-family: serif;"><br>
|
204 |
|
|
</p>
|
205 |
|
|
<p><br>
|
206 |
|
|
</p>
|
207 |
|
|
<p><br>
|
208 |
|
|
</p>
|
209 |
28 |
jt_eaton |
<h2><a name="manifesto"></a>Gate and Post Route Simulations<br>
|
210 |
|
|
</h2>
|
211 |
|
|
<br>
|
212 |
|
|
All signals between the DUT and the bfms change only at the
|
213 |
|
|
rising edge of clk. This is fine for RTL sims but will not work for
|
214 |
|
|
real logic with setup and hold time requirements. For these the signals
|
215 |
|
|
driving the dut must be delayed from clk and from each other to provide
|
216 |
|
|
the required setup and hold times. Signals from the DUT will have
|
217 |
|
|
delays and must only be tested during a prescribed time window.<br>
|
218 |
|
|
This is accomplished with a set of modules that mimic the functions of
|
219 |
|
|
a IC tester. These modules provide the interface between the BFM's and
|
220 |
|
|
the DUT.<br>
|
221 |
|
|
<br>
|
222 |
|
|
<br>
|
223 |
|
|
<img style="width: 800px; height: 600px;" alt=""
|
224 |
|
|
src="../png/ver_fig4.png"><br>
|
225 |
|
|
<br style="font-family: serif;">
|
226 |
|
|
<br style="font-family: serif;">
|
227 |
|
|
<span style="font-family: serif;"></span><span
|
228 |
|
|
style="font-family: serif;"><br>
|
229 |
|
|
</span>
|
230 |
|
|
<p></p>
|
231 |
27 |
jt_eaton |
<p><br>
|
232 |
|
|
</p>
|
233 |
|
|
<p><br>
|
234 |
|
|
</p>
|
235 |
|
|
<p><br>
|
236 |
|
|
</p>
|
237 |
|
|
<p><br>
|
238 |
|
|
</p>
|
239 |
|
|
<p><br>
|
240 |
|
|
</p>
|
241 |
|
|
<p><br>
|
242 |
|
|
<br>
|
243 |
|
|
</p>
|
244 |
|
|
<p><br>
|
245 |
|
|
</p>
|
246 |
|
|
<h2><a name="manifesto"></a>simulation directory (sim)<br>
|
247 |
|
|
</h2>
|
248 |
|
|
<p><br>
|
249 |
|
|
</p>
|
250 |
|
|
<big><code>
|
251 |
|
|
./sim<br>
|
252 |
|
|
+/bin<br>
|
253 |
|
|
Makefile<br>
|
254 |
|
|
+/lib<br>
|
255 |
|
|
+lib_part1<br>
|
256 |
|
|
lib_part(s).v<br>
|
257 |
|
|
+lib_part2<br>
|
258 |
|
|
.<br>
|
259 |
|
|
.<br>
|
260 |
|
|
.<br>
|
261 |
|
|
</code><code> +/run</code><br>
|
262 |
94 |
jt_eaton |
<code> +/test_case1<br>
|
263 |
27 |
jt_eaton |
dmp_define<br>
|
264 |
|
|
test_define<br>
|
265 |
94 |
jt_eaton |
+/test_case2<br>
|
266 |
27 |
jt_eaton |
.<br>
|
267 |
|
|
.<br>
|
268 |
94 |
jt_eaton |
+/xml<br>
|
269 |
|
|
</code><code> test_case1.xml<br>
|
270 |
|
|
test_case2.xml<br>
|
271 |
27 |
jt_eaton |
.<br>
|
272 |
|
|
.<br>
|
273 |
|
|
.</code><br>
|
274 |
|
|
</big>
|
275 |
94 |
jt_eaton |
<code><ouabache design="" works=""><br>
|
276 |
27 |
jt_eaton |
</ouabache></code>
|
277 |
|
|
<p>Each component will have a ./sim directory for the test suite.
|
278 |
|
|
Typing:<br>
|
279 |
|
|
</p>
|
280 |
|
|
<p><big><big><br>
|
281 |
|
|
<small><span style="font-family: monospace;">
|
282 |
|
|
<>:~$>cd ./sim/bin</span><br style="font-family: monospace;">
|
283 |
|
|
</small><span style="font-family: monospace;"><small>
|
284 |
|
|
<>:~$>make run_sims</small><br>
|
285 |
|
|
</span></big></big></p>
|
286 |
|
|
<p><big><big><span style="font-family: monospace;"><br>
|
287 |
|
|
</span></big></big>
|
288 |
|
|
</p>
|
289 |
|
|
will run the entire test suite. After that has been done then
|
290 |
|
|
individual test_cases may be rerun by changing into their test_case
|
291 |
|
|
directory and typing:<br>
|
292 |
|
|
<code><ouabache design="" works=""><br>
|
293 |
|
|
<br>
|
294 |
|
|
</ouabache></code>
|
295 |
|
|
<p><big><big><span style="font-family: monospace;"><small><>:~$>make
|
296 |
|
|
sim</small></span></big></big>
|
297 |
|
|
</p>
|
298 |
|
|
<p><br>
|
299 |
|
|
</p>
|
300 |
|
|
<p>Each test_case will produce a log file that may be parsed for the
|
301 |
|
|
string "PASSED" to indicate that the sim finished. If so then the log
|
302 |
|
|
file should be parsed for the strings "ERROR" and "WARNING" to see if
|
303 |
|
|
there were and errors or warnings. <br>
|
304 |
|
|
</p>
|
305 |
|
|
<p>Simulating a test_case requires involking a verilog simulator and
|
306 |
|
|
passing it command line arguments and a TestBench file. Icarus verilog
|
307 |
|
|
is the default simulator for the socgen project. Socgen uses a minumal
|
308 |
|
|
command line and instead puts most needed information in the TestBench
|
309 |
|
|
file. The only command line option is to set the VCD flag if a
|
310 |
|
|
value change dump file is needed.<br>
|
311 |
|
|
</p>
|
312 |
|
|
<p><br>
|
313 |
|
|
</p>
|
314 |
|
|
<p><br>
|
315 |
|
|
<br>
|
316 |
|
|
<br>
|
317 |
|
|
<br>
|
318 |
|
|
<br>
|
319 |
|
|
</p>
|
320 |
|
|
<h2><a name="manifesto"></a>TestBench file<br>
|
321 |
|
|
</h2>
|
322 |
|
|
<code>
|
323 |
|
|
<ouabache design="" works="">--------------------------------------------------------------------------------------------------------------------------------------<br>
|
324 |
|
|
<br>
|
325 |
|
|
`include "./TB.defs"<br>
|
326 |
|
|
<br>
|
327 |
|
|
`ifndef TIMESCALE<br>
|
328 |
|
|
`define TIMESCALE 1ns/1ns<br>
|
329 |
|
|
`endif<br>
|
330 |
|
|
<br>
|
331 |
|
|
<br>
|
332 |
|
|
`ifndef TIMEFORMAT<br>
|
333 |
|
|
`define TIMEFORMAT $timeformat(-6, 2, "
|
334 |
|
|
us", 14);<br>
|
335 |
|
|
`endif<br>
|
336 |
|
|
<br>
|
337 |
|
|
<br>
|
338 |
|
|
`ifndef PERIOD<br>
|
339 |
|
|
`define PERIOD
|
340 |
|
|
40.00000 <br>
|
341 |
|
|
`endif<br>
|
342 |
|
|
<br>
|
343 |
|
|
`ifndef TIMEOUT<br>
|
344 |
|
|
`define TIMEOUT 200000<br>
|
345 |
|
|
`endif<br>
|
346 |
|
|
<br>
|
347 |
|
|
<br>
|
348 |
|
|
`timescale `TIMESCALE<br>
|
349 |
|
|
<br>
|
350 |
|
|
<br>
|
351 |
|
|
`include "./filelist"<br>
|
352 |
|
|
`include "./liblist"<br>
|
353 |
|
|
`include "./modellist"<br>
|
354 |
|
|
<br>
|
355 |
|
|
<br>
|
356 |
|
|
<br>
|
357 |
|
|
<br>
|
358 |
|
|
module TB();<br>
|
359 |
|
|
<br>
|
360 |
|
|
wire clk;<br>
|
361 |
|
|
wire reset;<br>
|
362 |
|
|
<br>
|
363 |
|
|
`include "./dut"<br>
|
364 |
|
|
`include "./test_define"<br>
|
365 |
|
|
<br>
|
366 |
|
|
<br>
|
367 |
|
|
`ifdef VCD<br>
|
368 |
|
|
initial<br>
|
369 |
|
|
begin<br>
|
370 |
|
|
`include "./dmp_define"<br>
|
371 |
|
|
end<br>
|
372 |
|
|
`endif<br>
|
373 |
|
|
<br>
|
374 |
|
|
clock_gen<br>
|
375 |
|
|
#(.PERIOD(`PERIOD),<br>
|
376 |
|
|
.TIMEOUT(`TIMEOUT))<br>
|
377 |
|
|
cg <br>
|
378 |
|
|
( .clk ( clk ),<br>
|
379 |
|
|
|
380 |
|
|
.reset ( reset )<br>
|
381 |
|
|
);<br>
|
382 |
|
|
<br>
|
383 |
|
|
<br>
|
384 |
|
|
<br>
|
385 |
|
|
<br>
|
386 |
|
|
endmodule<br>
|
387 |
|
|
</ouabache></code><span style="font-family: monospace;"><br>
|
388 |
|
|
--------------------------------------------------------------------------------------------------------------------------------------<br>
|
389 |
|
|
</span>
|
390 |
|
|
<p><span style="font-family: monospace;"><br>
|
391 |
|
|
</span></p>
|
392 |
|
|
<p><br>
|
393 |
|
|
<span style="font-family: monospace;"></span></p>
|
394 |
|
|
<p>A single TestBench file provides the infrastructure for all
|
395 |
|
|
test cases. The actual testing is determined by the data contained in
|
396 |
|
|
six files in the ./sim/run/test_case directory. The TestBench file
|
397 |
|
|
creates a top level module named TB and instantiates a clock_reset
|
398 |
|
|
generator module to provide each test_case with a clock and a reset
|
399 |
|
|
signal. It also provides a vcd dump and timeout functions
|
400 |
|
|
for each test_case.<span style="font-family: monospace;"><br>
|
401 |
|
|
</span></p>
|
402 |
|
|
<p><span style="font-family: monospace;"><br>
|
403 |
|
|
</span></p>
|
404 |
|
|
<p><span style="font-family: monospace;"><br>
|
405 |
|
|
</span></p>
|
406 |
|
|
<h2><a name="manifesto"></a>TB.defs <br>
|
407 |
|
|
</h2>
|
408 |
|
|
<p><span style="font-family: monospace;">--------------------------------------------------------------------------------------------------------------------------------------</span>
|
409 |
|
|
</p>
|
410 |
|
|
<code>
|
411 |
|
|
`define TIMESCALE 1ns/1ns<br>
|
412 |
|
|
`define TIMEFORMAT $timeformat(-6, 2, "
|
413 |
|
|
us", 14);<br>
|
414 |
|
|
`define PERIOD
|
415 |
|
|
40.0000 <br>
|
416 |
|
|
`define TIMEOUT 200000<br>
|
417 |
|
|
</code>
|
418 |
|
|
<p></p>
|
419 |
|
|
<p><span style="font-family: monospace;">--------------------------------------------------------------------------------------------------------------------------------------<br>
|
420 |
|
|
</span></p>
|
421 |
|
|
<p><span style="font-family: monospace;"><br>
|
422 |
|
|
</span></p>
|
423 |
|
|
<p>The TB.defs file may be used to set up the timescale and master
|
424 |
|
|
clock period for the simulation. Any model or lib part that needs
|
425 |
|
|
to reset the timescale back to the system default must use:<br>
|
426 |
|
|
</p>
|
427 |
|
|
<p><code>`timescale `TIMESCALE<br>
|
428 |
|
|
</code></p>
|
429 |
|
|
<p><code><br>
|
430 |
|
|
<span style="font-family: serif;">Do NOT use</span><br>
|
431 |
|
|
</code></p>
|
432 |
|
|
<p><code>`include "./timescale.v"<br>
|
433 |
|
|
</code></p>
|
434 |
|
|
<p><code><br>
|
435 |
|
|
<span style="font-family: serif;">The socgen project does not contain
|
436 |
|
|
any timescale.v file. All socgen rtl code is preprocessed before
|
437 |
|
|
it is passed to simulation and the value of the timescale may change
|
438 |
|
|
depending on the simulation. All ip components must only contain
|
439 |
|
|
synthesisable code and should not have any need for timescale.<br>
|
440 |
|
|
</span></code></p>
|
441 |
|
|
<p><code><span style="font-family: serif;">TIMEFORMAT will set the
|
442 |
|
|
format that is used when time is displayed using the %t format . All
|
443 |
|
|
$display statements must start by displaying $realtime using the %t
|
444 |
|
|
format so every line in the log has a time stamp. Any display statement
|
445 |
|
|
from an instantiated module must also have %m to print out it's
|
446 |
|
|
instance name. If the message is an error or a warning then the strings
|
447 |
|
|
ERROR or WARNING must be used so that this information may be parsed
|
448 |
|
|
from the log file.<br>
|
449 |
|
|
<br style="font-family: serif;">
|
450 |
|
|
</span></code></p>
|
451 |
|
|
<p><span style="font-family: monospace;"><br>
|
452 |
|
|
</span>The TB.defs file may also
|
453 |
|
|
be used to pass the size and location of an embedded bit
|
454 |
|
|
file to the device_under_test<span style="font-family: monospace;"> <br>
|
455 |
|
|
</span></p>
|
456 |
|
|
<p><span style="font-family: monospace;">--------------------------------------------------------------------------------------------------------------------------------------</span></p>
|
457 |
|
|
<p><span style="font-family: monospace;">`define ROM_WORDS 2048 <br>
|
458 |
|
|
`define ROM_ADDR 11 <br>
|
459 |
|
|
`define ROM_WIDTH 12 <br>
|
460 |
|
|
`define ROM_FILE "../../../../../sw/mouse/mouse.abs12"<br>
|
461 |
|
|
</span><span style="font-family: monospace;">--------------------------------------------------------------------------------------------------------------------------------------</span><br>
|
462 |
|
|
</p>
|
463 |
|
|
<p>The path is the relative path from the test_case run directory.<span
|
464 |
|
|
style="font-family: monospace;"><br>
|
465 |
|
|
</span></p>
|
466 |
|
|
<p><span style="font-family: monospace;"><br>
|
467 |
|
|
</span></p>
|
468 |
|
|
<h2><a name="manifesto"></a>filelist </h2>
|
469 |
|
|
<p style="font-family: monospace;">--------------------------------------------------------------------------------------------------------------------------------------<br>
|
470 |
|
|
</p>
|
471 |
|
|
<p style="font-family: monospace;">`include
|
472 |
|
|
"../../../rtl/gen/sim/soc_mouse.v"<br>
|
473 |
|
|
`include "../../../../pic16c5x/rtl/gen/sim/pic16c5x.v"<br>
|
474 |
|
|
`include
|
475 |
|
|
"../../../../../children/logic/ip/io_module/rtl/gen/sim/io_module_mouse.v"<br>
|
476 |
|
|
`include
|
477 |
|
|
"../../../../../children/logic/ip/ps2_interface/rtl/gen/sim/ps2_interface.v"<br>
|
478 |
|
|
`include "../../../../../children/logic/ip/uart/rtl/gen/sim/uart.v"<br>
|
479 |
|
|
</p>
|
480 |
|
|
<code style="font-family: monospace;"></code>
|
481 |
94 |
jt_eaton |
<span style="font-family: monospace;">-------------------------------------------------------------------------------------------------------------------------------------</span>
|
482 |
|
|
<p></p>
|
483 |
27 |
jt_eaton |
<p><br>
|
484 |
|
|
</p>
|
485 |
|
|
<h2><a name="manifesto"></a>liblist</h2>
|
486 |
|
|
<p><span style="font-family: monospace;">--------------------------------------------------------------------------------------------------------------------------------------</span>
|
487 |
|
|
</p>
|
488 |
|
|
<code>
|
489 |
|
|
<br>
|
490 |
|
|
`include "../../lib/cde_sram/cde_sram.v"<br>
|
491 |
|
|
`include "../../lib/cde_lifo/cde_lifo.v"<br>
|
492 |
|
|
`include "../../lib/cde_synchronizers/cde_sync_with_hysteresis.v"<br>
|
493 |
|
|
<br>
|
494 |
|
|
</code>
|
495 |
|
|
<span style="font-family: monospace;">--------------------------------------------------------------------------------------------------------------------------------------</span><br>
|
496 |
|
|
<p>The liblist uses `include statements to load all the generic lib
|
497 |
|
|
models into
|
498 |
|
|
the simulation.The paths are relative from the test_case run
|
499 |
|
|
directory. Note that these libs may be replaced by vendor
|
500 |
|
|
specific instances when the design is synthesised into gates.<br>
|
501 |
|
|
</p>
|
502 |
|
|
<p><br>
|
503 |
|
|
</p>
|
504 |
|
|
<p></p>
|
505 |
|
|
<p><br>
|
506 |
|
|
</p>
|
507 |
|
|
<h2><a name="manifesto"></a>modellist</h2>
|
508 |
|
|
<p><span style="font-family: monospace;">--------------------------------------------------------------------------------------------------------------------------------------</span>
|
509 |
|
|
</p>
|
510 |
|
|
<code><br>
|
511 |
|
|
`include "../../bench/verilog/models/clock_gen.v"<br>
|
512 |
28 |
jt_eaton |
`include "../../bench/verilog/models/ps2_model.v"<br>
|
513 |
|
|
</code><code>`include "../../bench/verilog/models/uart_model.v"</code><code>
|
514 |
|
|
<br>
|
515 |
27 |
jt_eaton |
`include "../../bench/verilog/models/iobuftri.v" <br>
|
516 |
|
|
</code><span style="font-family: monospace;"></span><code><br>
|
517 |
|
|
</code>
|
518 |
|
|
<span style="font-family: monospace;">--------------------------------------------------------------------------------------------------------------------------------------</span><br>
|
519 |
|
|
<br>
|
520 |
|
|
This list loads all of the simulation models used in the simulation.<br>
|
521 |
|
|
<br>
|
522 |
|
|
<p><br>
|
523 |
|
|
<br>
|
524 |
|
|
</p>
|
525 |
|
|
<h2><a name="manifesto"></a>dut<br>
|
526 |
|
|
</h2>
|
527 |
28 |
jt_eaton |
<p><span style="font-family: monospace;">--------------------------------------------------------------------------------------------------------------------------------------</span><code><br>
|
528 |
|
|
wire ps2_data_pad_oe;<br>
|
529 |
|
|
wire ps2_data_pad_in;<br>
|
530 |
|
|
wire ps2_data;<br>
|
531 |
|
|
wire ps2_clk_pad_oe;<br>
|
532 |
|
|
wire ps2_clk_pad_in;<br>
|
533 |
|
|
wire ps2_clk;<br>
|
534 |
27 |
jt_eaton |
<br>
|
535 |
|
|
wire [7:0] portaout;<br>
|
536 |
|
|
wire [7:0] portbout;<br>
|
537 |
|
|
wire [7:0] portcout;<br>
|
538 |
|
|
<br>
|
539 |
|
|
<br>
|
540 |
|
|
wire [9:0] y_pos;<br>
|
541 |
|
|
wire [9:0] x_pos;<br>
|
542 |
|
|
wire
|
543 |
|
|
new_packet;<br>
|
544 |
|
|
wire
|
545 |
|
|
ms_mid; <br>
|
546 |
|
|
wire
|
547 |
|
|
ms_right; <br>
|
548 |
|
|
wire
|
549 |
|
|
ms_left; <br>
|
550 |
|
|
<br>
|
551 |
|
|
<br>
|
552 |
|
|
<br>
|
553 |
|
|
wire
|
554 |
28 |
jt_eaton |
serial_txd;<br>
|
555 |
27 |
jt_eaton |
wire
|
556 |
28 |
jt_eaton |
serial_rxd;<br>
|
557 |
|
|
wire loop;<br>
|
558 |
|
|
<br>
|
559 |
27 |
jt_eaton |
<br>
|
560 |
|
|
soc_mouse<br>
|
561 |
|
|
#(<br>
|
562 |
|
|
.ROM_WORDS ( `ROM_WORDS ), <br>
|
563 |
|
|
.ROM_ADDR ( `ROM_ADDR ), <br>
|
564 |
|
|
.ROM_WIDTH ( `ROM_WIDTH ), <br>
|
565 |
|
|
.ROM_FILE ( `ROM_FILE )<br>
|
566 |
|
|
)<br>
|
567 |
|
|
dut(<br>
|
568 |
28 |
jt_eaton |
.clk (
|
569 |
|
|
clk ),<br>
|
570 |
|
|
.reset (
|
571 |
|
|
reset ),<br>
|
572 |
27 |
jt_eaton |
<br>
|
573 |
|
|
.ps2_data_pad_in ( ps2_data_pad_in ),<br>
|
574 |
|
|
.ps2_clk_pad_in ( ps2_clk_pad_in ),<br>
|
575 |
|
|
<br>
|
576 |
|
|
.ps2_data_pad_oe ( ps2_data_pad_oe ),<br>
|
577 |
|
|
.ps2_clk_pad_oe ( ps2_clk_pad_oe ),<br>
|
578 |
|
|
<br>
|
579 |
28 |
jt_eaton |
.portaout (
|
580 |
|
|
portaout ),<br>
|
581 |
|
|
.portbout ( portbout
|
582 |
|
|
),<br>
|
583 |
|
|
.portcout (
|
584 |
|
|
portcout ),<br>
|
585 |
27 |
jt_eaton |
<br>
|
586 |
28 |
jt_eaton |
.y_pos (
|
587 |
|
|
y_pos ),<br>
|
588 |
|
|
.x_pos (
|
589 |
|
|
x_pos ),<br>
|
590 |
|
|
.new_packet ( new_packet
|
591 |
|
|
),<br>
|
592 |
|
|
.ms_mid (
|
593 |
|
|
ms_mid ), <br>
|
594 |
|
|
.ms_right (
|
595 |
|
|
ms_right
|
596 |
27 |
jt_eaton |
), <br>
|
597 |
28 |
jt_eaton |
.ms_left (
|
598 |
|
|
ms_left ), <br>
|
599 |
27 |
jt_eaton |
<br>
|
600 |
28 |
jt_eaton |
.txd_pad_out (
|
601 |
|
|
serial_txd ),<br>
|
602 |
|
|
.rxd_pad_in (
|
603 |
|
|
serial_rxd ),<br>
|
604 |
|
|
.cts_pad_in (
|
605 |
|
|
loop
|
606 |
|
|
),<br>
|
607 |
|
|
.rts_pad_out (
|
608 |
|
|
loop
|
609 |
27 |
jt_eaton |
) <br>
|
610 |
|
|
<br>
|
611 |
|
|
);<br>
|
612 |
28 |
jt_eaton |
</code></p>
|
613 |
|
|
<p><code>uart_model <br>
|
614 |
|
|
#(.CLKCNT(4'hc))<br>
|
615 |
|
|
uart_model<br>
|
616 |
|
|
(<br>
|
617 |
|
|
|
618 |
|
|
.clk
|
619 |
|
|
(
|
620 |
|
|
clk
|
621 |
|
|
),<br>
|
622 |
|
|
|
623 |
|
|
.reset
|
624 |
|
|
(
|
625 |
|
|
reset
|
626 |
|
|
),
|
627 |
27 |
jt_eaton |
<br>
|
628 |
28 |
jt_eaton |
|
629 |
|
|
.txd_in
|
630 |
|
|
|
631 |
|
|
( serial_txd ),<br>
|
632 |
|
|
|
633 |
|
|
.rxd_out
|
634 |
|
|
|
635 |
|
|
( serial_rxd )<br>
|
636 |
27 |
jt_eaton |
<br>
|
637 |
28 |
jt_eaton |
);</code><br>
|
638 |
|
|
<code></code></p>
|
639 |
|
|
<p><code><br>
|
640 |
|
|
</code></p>
|
641 |
|
|
<p><code><br>
|
642 |
27 |
jt_eaton |
iobuftri<br>
|
643 |
|
|
data_tri_buf<br>
|
644 |
|
|
(<br>
|
645 |
|
|
.i (
|
646 |
|
|
1'b0 ),<br>
|
647 |
|
|
.oe ( ps2_data_pad_oe ),<br>
|
648 |
|
|
.o ( ps2_data_pad_in ),<br>
|
649 |
|
|
.pad ( ps2_data )<br>
|
650 |
|
|
);<br>
|
651 |
|
|
<br>
|
652 |
|
|
<br>
|
653 |
|
|
iobuftri<br>
|
654 |
|
|
clk_tri_buf<br>
|
655 |
|
|
(<br>
|
656 |
|
|
.i ( 1'b0
|
657 |
|
|
),<br>
|
658 |
|
|
.oe ( ps2_clk_pad_oe ),<br>
|
659 |
|
|
.o ( ps2_clk_pad_in ),<br>
|
660 |
|
|
.pad ( ps2_clk )<br>
|
661 |
|
|
);<br>
|
662 |
|
|
<br>
|
663 |
|
|
<br>
|
664 |
|
|
<br>
|
665 |
|
|
pullup ua0(ps2_clk);<br>
|
666 |
|
|
pullup ua1(ps2_data);<br>
|
667 |
|
|
<br>
|
668 |
|
|
<br>
|
669 |
|
|
ps2_model <br>
|
670 |
|
|
#(.CLKCNT(10'h177))<br>
|
671 |
28 |
jt_eaton |
ps2_model<br>
|
672 |
27 |
jt_eaton |
(<br>
|
673 |
|
|
|
674 |
|
|
.clk
|
675 |
|
|
(
|
676 |
|
|
clk
|
677 |
|
|
),<br>
|
678 |
|
|
|
679 |
|
|
.reset
|
680 |
|
|
(
|
681 |
|
|
reset
|
682 |
|
|
),
|
683 |
|
|
<br>
|
684 |
|
|
|
685 |
|
|
.ps2_clk
|
686 |
|
|
(
|
687 |
|
|
ps2_clk
|
688 |
|
|
),<br>
|
689 |
|
|
|
690 |
|
|
.ps2_data
|
691 |
|
|
(
|
692 |
|
|
ps2_data
|
693 |
|
|
)<br>
|
694 |
|
|
<br>
|
695 |
28 |
jt_eaton |
);</code></p>
|
696 |
|
|
<p><code><br>
|
697 |
|
|
</code></p>
|
698 |
|
|
<p><code><br>
|
699 |
27 |
jt_eaton |
</code><span style="font-family: monospace;">--------------------------------------------------------------------------------------------------------------------------------------</span><br>
|
700 |
|
|
</p>
|
701 |
|
|
<p>This file is a verilog code segment that declares all the wires and
|
702 |
|
|
regs needed in the sim (except for clk and reset). It then
|
703 |
|
|
instantiates the component and all needed models for the simulation.<br>
|
704 |
|
|
</p>
|
705 |
|
|
<p><br>
|
706 |
|
|
</p>
|
707 |
|
|
<p><br>
|
708 |
|
|
</p>
|
709 |
|
|
<p><br>
|
710 |
|
|
</p>
|
711 |
|
|
<h2><a name="manifesto"></a>test_define<br>
|
712 |
|
|
</h2>
|
713 |
|
|
<p><span style="font-family: monospace;">--------------------------------------------------------------------------------------------------------------------------------------</span></p>
|
714 |
|
|
<p><br>
|
715 |
|
|
</p>
|
716 |
|
|
<p><span style="font-family: monospace;">initial</span><br
|
717 |
|
|
style="font-family: monospace;">
|
718 |
28 |
jt_eaton |
<span style="font-family: monospace;">begin</span><span
|
719 |
|
|
style="font-family: monospace;"></span><br
|
720 |
27 |
jt_eaton |
style="font-family: monospace;">
|
721 |
|
|
<span style="font-family: monospace;">$display("
|
722 |
|
|
");</span><br style="font-family: monospace;">
|
723 |
|
|
<span style="font-family: monospace;">$display("
|
724 |
|
|
===================================================");</span><br
|
725 |
|
|
style="font-family: monospace;">
|
726 |
|
|
<span style="font-family: monospace;">$display("
|
727 |
|
|
Test
|
728 |
|
|
Start");</span><br style="font-family: monospace;">
|
729 |
|
|
<span style="font-family: monospace;">$display("
|
730 |
|
|
===================================================");</span><br
|
731 |
|
|
style="font-family: monospace;">
|
732 |
|
|
<span style="font-family: monospace;">$display("
|
733 |
|
|
");</span><br style="font-family: monospace;">
|
734 |
|
|
<br style="font-family: monospace;">
|
735 |
|
|
<span style="font-family: monospace;">device_write
|
736 |
|
|
=
|
737 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
738 |
|
|
<span style="font-family: monospace;">device_tx_data
|
739 |
|
|
= 8'h00;</span><br style="font-family: monospace;">
|
740 |
|
|
<span style="font-family: monospace;">device_ack
|
741 |
|
|
=
|
742 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
743 |
|
|
<span style="font-family: monospace;">device_parity
|
744 |
|
|
= 1'b1;</span><br style="font-family: monospace;">
|
745 |
|
|
<span style="font-family: monospace;">device_stop
|
746 |
|
|
=
|
747 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
748 |
|
|
<br style="font-family: monospace;">
|
749 |
|
|
<br style="font-family: monospace;">
|
750 |
|
|
<br style="font-family: monospace;">
|
751 |
|
|
<span style="font-family: monospace;">cg.next(20);</span><br
|
752 |
|
|
style="font-family: monospace;">
|
753 |
|
|
<span style="font-family: monospace;">cg.reset_off;</span><br
|
754 |
|
|
style="font-family: monospace;">
|
755 |
|
|
<br style="font-family: monospace;">
|
756 |
|
|
<span style="font-family: monospace;">while (device_rx_read == 1'b0 )
|
757 |
|
|
cg.next(1);</span><br style="font-family: monospace;">
|
758 |
|
|
<span style="font-family: monospace;">cg.next(2000);</span><br
|
759 |
|
|
style="font-family: monospace;">
|
760 |
|
|
<br style="font-family: monospace;">
|
761 |
|
|
<span style="font-family: monospace;">device_parity
|
762 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
763 |
|
|
<span style="font-family: monospace;">device_tx_data
|
764 |
|
|
= 8'hfa;</span><br style="font-family: monospace;">
|
765 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
766 |
|
|
style="font-family: monospace;">
|
767 |
|
|
<span style="font-family: monospace;">device_write
|
768 |
|
|
=
|
769 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
770 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
771 |
|
|
style="font-family: monospace;">
|
772 |
|
|
<span style="font-family: monospace;">device_write
|
773 |
|
|
=
|
774 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
775 |
|
|
<br style="font-family: monospace;">
|
776 |
|
|
<br style="font-family: monospace;">
|
777 |
|
|
<br style="font-family: monospace;">
|
778 |
|
|
<br style="font-family: monospace;">
|
779 |
|
|
<span style="font-family: monospace;">cg.next(20000);</span><br
|
780 |
|
|
style="font-family: monospace;">
|
781 |
|
|
<br style="font-family: monospace;">
|
782 |
|
|
<span style="font-family: monospace;">device_parity
|
783 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
784 |
|
|
<span style="font-family: monospace;">device_tx_data
|
785 |
|
|
= 8'haa;</span><br style="font-family: monospace;">
|
786 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
787 |
|
|
style="font-family: monospace;">
|
788 |
|
|
<span style="font-family: monospace;">device_write
|
789 |
|
|
=
|
790 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
791 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
792 |
|
|
style="font-family: monospace;">
|
793 |
|
|
<span style="font-family: monospace;">device_write
|
794 |
|
|
=
|
795 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
796 |
|
|
<br style="font-family: monospace;">
|
797 |
|
|
<br style="font-family: monospace;">
|
798 |
|
|
<br style="font-family: monospace;">
|
799 |
|
|
<br style="font-family: monospace;">
|
800 |
|
|
<br style="font-family: monospace;">
|
801 |
|
|
<br style="font-family: monospace;">
|
802 |
|
|
<span style="font-family: monospace;">cg.next(20000);</span><br
|
803 |
|
|
style="font-family: monospace;">
|
804 |
|
|
<br style="font-family: monospace;">
|
805 |
|
|
<span style="font-family: monospace;">device_parity
|
806 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
807 |
|
|
<span style="font-family: monospace;">device_tx_data
|
808 |
|
|
= 8'h00;</span><br style="font-family: monospace;">
|
809 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
810 |
|
|
style="font-family: monospace;">
|
811 |
|
|
<span style="font-family: monospace;">device_write
|
812 |
|
|
=
|
813 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
814 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
815 |
|
|
style="font-family: monospace;">
|
816 |
|
|
<span style="font-family: monospace;">device_write
|
817 |
|
|
=
|
818 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
819 |
|
|
<br style="font-family: monospace;">
|
820 |
|
|
<br style="font-family: monospace;">
|
821 |
|
|
<br style="font-family: monospace;">
|
822 |
|
|
<br style="font-family: monospace;">
|
823 |
|
|
<span style="font-family: monospace;">while (device_rx_read == 1'b0 )
|
824 |
|
|
cg.next(1);</span><br style="font-family: monospace;">
|
825 |
|
|
<span style="font-family: monospace;">cg.next(2000);</span><br
|
826 |
|
|
style="font-family: monospace;">
|
827 |
|
|
<br style="font-family: monospace;">
|
828 |
|
|
<span style="font-family: monospace;">device_parity
|
829 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
830 |
|
|
<span style="font-family: monospace;">device_tx_data
|
831 |
|
|
= 8'hfa;</span><br style="font-family: monospace;">
|
832 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
833 |
|
|
style="font-family: monospace;">
|
834 |
|
|
<span style="font-family: monospace;">device_write
|
835 |
|
|
=
|
836 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
837 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
838 |
|
|
style="font-family: monospace;">
|
839 |
|
|
<span style="font-family: monospace;">device_write
|
840 |
|
|
=
|
841 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
842 |
|
|
<br style="font-family: monospace;">
|
843 |
|
|
<br style="font-family: monospace;">
|
844 |
|
|
<br style="font-family: monospace;">
|
845 |
|
|
<br style="font-family: monospace;">
|
846 |
|
|
<span style="font-family: monospace;">while (device_rx_read == 1'b0 )
|
847 |
|
|
cg.next(1);</span><br style="font-family: monospace;">
|
848 |
|
|
<span style="font-family: monospace;">cg.next(2000);</span><br
|
849 |
|
|
style="font-family: monospace;">
|
850 |
|
|
<br style="font-family: monospace;">
|
851 |
|
|
<span style="font-family: monospace;">device_parity
|
852 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
853 |
|
|
<span style="font-family: monospace;">device_tx_data
|
854 |
|
|
= 8'hfa;</span><br style="font-family: monospace;">
|
855 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
856 |
|
|
style="font-family: monospace;">
|
857 |
|
|
<span style="font-family: monospace;">device_write
|
858 |
|
|
=
|
859 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
860 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
861 |
|
|
style="font-family: monospace;">
|
862 |
|
|
<span style="font-family: monospace;">device_write
|
863 |
|
|
=
|
864 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
865 |
|
|
<br style="font-family: monospace;">
|
866 |
|
|
<br style="font-family: monospace;">
|
867 |
|
|
<br style="font-family: monospace;">
|
868 |
|
|
<br style="font-family: monospace;">
|
869 |
|
|
<span style="font-family: monospace;">while (device_rx_read == 1'b0 )
|
870 |
|
|
cg.next(1);</span><br style="font-family: monospace;">
|
871 |
|
|
<span style="font-family: monospace;">cg.next(2000);</span><br
|
872 |
|
|
style="font-family: monospace;">
|
873 |
|
|
<br style="font-family: monospace;">
|
874 |
|
|
<span style="font-family: monospace;">device_parity
|
875 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
876 |
|
|
<span style="font-family: monospace;">device_tx_data
|
877 |
|
|
= 8'hfa;</span><br style="font-family: monospace;">
|
878 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
879 |
|
|
style="font-family: monospace;">
|
880 |
|
|
<span style="font-family: monospace;">device_write
|
881 |
|
|
=
|
882 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
883 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
884 |
|
|
style="font-family: monospace;">
|
885 |
|
|
<span style="font-family: monospace;">device_write
|
886 |
|
|
=
|
887 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
888 |
|
|
<br style="font-family: monospace;">
|
889 |
|
|
<br style="font-family: monospace;">
|
890 |
|
|
<br style="font-family: monospace;">
|
891 |
|
|
<br style="font-family: monospace;">
|
892 |
|
|
<span style="font-family: monospace;">while (device_rx_read == 1'b0 )
|
893 |
|
|
cg.next(1);</span><br style="font-family: monospace;">
|
894 |
|
|
<span style="font-family: monospace;">cg.next(2000);</span><br
|
895 |
|
|
style="font-family: monospace;">
|
896 |
|
|
<br style="font-family: monospace;">
|
897 |
|
|
<span style="font-family: monospace;">device_parity
|
898 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
899 |
|
|
<span style="font-family: monospace;">device_tx_data
|
900 |
|
|
= 8'hfa;</span><br style="font-family: monospace;">
|
901 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
902 |
|
|
style="font-family: monospace;">
|
903 |
|
|
<span style="font-family: monospace;">device_write
|
904 |
|
|
=
|
905 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
906 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
907 |
|
|
style="font-family: monospace;">
|
908 |
|
|
<span style="font-family: monospace;">device_write
|
909 |
|
|
=
|
910 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
911 |
|
|
<br style="font-family: monospace;">
|
912 |
|
|
<br style="font-family: monospace;">
|
913 |
|
|
<br style="font-family: monospace;">
|
914 |
|
|
<span style="font-family: monospace;">while (device_rx_read == 1'b0 )
|
915 |
|
|
cg.next(1);</span><br style="font-family: monospace;">
|
916 |
|
|
<span style="font-family: monospace;">cg.next(2000);</span><br
|
917 |
|
|
style="font-family: monospace;">
|
918 |
|
|
<br style="font-family: monospace;">
|
919 |
|
|
<span style="font-family: monospace;">device_parity
|
920 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
921 |
|
|
<span style="font-family: monospace;">device_tx_data
|
922 |
|
|
= 8'hfa;</span><br style="font-family: monospace;">
|
923 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
924 |
|
|
style="font-family: monospace;">
|
925 |
|
|
<span style="font-family: monospace;">device_write
|
926 |
|
|
=
|
927 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
928 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
929 |
|
|
style="font-family: monospace;">
|
930 |
|
|
<span style="font-family: monospace;">device_write
|
931 |
|
|
=
|
932 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
933 |
|
|
<br style="font-family: monospace;">
|
934 |
|
|
<br style="font-family: monospace;">
|
935 |
|
|
<br style="font-family: monospace;">
|
936 |
|
|
<span style="font-family: monospace;">while (device_rx_read == 1'b0 )
|
937 |
|
|
cg.next(1);</span><br style="font-family: monospace;">
|
938 |
|
|
<span style="font-family: monospace;">cg.next(2000);</span><br
|
939 |
|
|
style="font-family: monospace;">
|
940 |
|
|
<br style="font-family: monospace;">
|
941 |
|
|
<span style="font-family: monospace;">device_parity
|
942 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
943 |
|
|
<span style="font-family: monospace;">device_tx_data
|
944 |
|
|
= 8'hfa;</span><br style="font-family: monospace;">
|
945 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
946 |
|
|
style="font-family: monospace;">
|
947 |
|
|
<span style="font-family: monospace;">device_write
|
948 |
|
|
=
|
949 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
950 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
951 |
|
|
style="font-family: monospace;">
|
952 |
|
|
<span style="font-family: monospace;">device_write
|
953 |
|
|
=
|
954 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
955 |
|
|
<br style="font-family: monospace;">
|
956 |
|
|
<br style="font-family: monospace;">
|
957 |
|
|
<br style="font-family: monospace;">
|
958 |
|
|
<span style="font-family: monospace;">while (device_rx_read == 1'b0 )
|
959 |
|
|
cg.next(1);</span><br style="font-family: monospace;">
|
960 |
|
|
<span style="font-family: monospace;">cg.next(2000);</span><br
|
961 |
|
|
style="font-family: monospace;">
|
962 |
|
|
<br style="font-family: monospace;">
|
963 |
|
|
<span style="font-family: monospace;">device_parity
|
964 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
965 |
|
|
<span style="font-family: monospace;">device_tx_data
|
966 |
|
|
= 8'hfa;</span><br style="font-family: monospace;">
|
967 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
968 |
|
|
style="font-family: monospace;">
|
969 |
|
|
<span style="font-family: monospace;">device_write
|
970 |
|
|
=
|
971 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
972 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
973 |
|
|
style="font-family: monospace;">
|
974 |
|
|
<span style="font-family: monospace;">device_write
|
975 |
|
|
=
|
976 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
977 |
|
|
<br style="font-family: monospace;">
|
978 |
|
|
<br style="font-family: monospace;">
|
979 |
|
|
<br style="font-family: monospace;">
|
980 |
|
|
<br style="font-family: monospace;">
|
981 |
|
|
<br style="font-family: monospace;">
|
982 |
|
|
<span style="font-family: monospace;">cg.next(20000);</span><br
|
983 |
|
|
style="font-family: monospace;">
|
984 |
|
|
<br style="font-family: monospace;">
|
985 |
|
|
<span style="font-family: monospace;">device_parity
|
986 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
987 |
|
|
<span style="font-family: monospace;">device_tx_data
|
988 |
|
|
= 8'h03;</span><br style="font-family: monospace;">
|
989 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
990 |
|
|
style="font-family: monospace;">
|
991 |
|
|
<span style="font-family: monospace;">device_write
|
992 |
|
|
=
|
993 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
994 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
995 |
|
|
style="font-family: monospace;">
|
996 |
|
|
<span style="font-family: monospace;">device_write
|
997 |
|
|
=
|
998 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
999 |
|
|
<br style="font-family: monospace;">
|
1000 |
|
|
<br style="font-family: monospace;">
|
1001 |
|
|
<br style="font-family: monospace;">
|
1002 |
|
|
<br style="font-family: monospace;">
|
1003 |
|
|
<br style="font-family: monospace;">
|
1004 |
|
|
<span style="font-family: monospace;">while (device_rx_read == 1'b0 )
|
1005 |
|
|
cg.next(1);</span><br style="font-family: monospace;">
|
1006 |
|
|
<span style="font-family: monospace;">cg.next(2000);</span><br
|
1007 |
|
|
style="font-family: monospace;">
|
1008 |
|
|
<br style="font-family: monospace;">
|
1009 |
|
|
<span style="font-family: monospace;">device_parity
|
1010 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
1011 |
|
|
<span style="font-family: monospace;">device_tx_data
|
1012 |
|
|
= 8'hfa;</span><br style="font-family: monospace;">
|
1013 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1014 |
|
|
style="font-family: monospace;">
|
1015 |
|
|
<span style="font-family: monospace;">device_write
|
1016 |
|
|
=
|
1017 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
1018 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1019 |
|
|
style="font-family: monospace;">
|
1020 |
|
|
<span style="font-family: monospace;">device_write
|
1021 |
|
|
=
|
1022 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
1023 |
|
|
<br style="font-family: monospace;">
|
1024 |
|
|
<br style="font-family: monospace;">
|
1025 |
|
|
<br style="font-family: monospace;">
|
1026 |
|
|
<span style="font-family: monospace;">while (device_rx_read == 1'b0 )
|
1027 |
|
|
cg.next(1);</span><br style="font-family: monospace;">
|
1028 |
|
|
<span style="font-family: monospace;">cg.next(2000);</span><br
|
1029 |
|
|
style="font-family: monospace;">
|
1030 |
|
|
<br style="font-family: monospace;">
|
1031 |
|
|
<span style="font-family: monospace;">device_parity
|
1032 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
1033 |
|
|
<span style="font-family: monospace;">device_tx_data
|
1034 |
|
|
= 8'hfa;</span><br style="font-family: monospace;">
|
1035 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1036 |
|
|
style="font-family: monospace;">
|
1037 |
|
|
<span style="font-family: monospace;">device_write
|
1038 |
|
|
=
|
1039 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
1040 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1041 |
|
|
style="font-family: monospace;">
|
1042 |
|
|
<span style="font-family: monospace;">device_write
|
1043 |
|
|
=
|
1044 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
1045 |
|
|
<br style="font-family: monospace;">
|
1046 |
|
|
<br style="font-family: monospace;">
|
1047 |
|
|
<br style="font-family: monospace;">
|
1048 |
|
|
<br style="font-family: monospace;">
|
1049 |
|
|
<span style="font-family: monospace;">while (device_rx_read == 1'b0 )
|
1050 |
|
|
cg.next(1);</span><br style="font-family: monospace;">
|
1051 |
|
|
<span style="font-family: monospace;">cg.next(2000);</span><br
|
1052 |
|
|
style="font-family: monospace;">
|
1053 |
|
|
<br style="font-family: monospace;">
|
1054 |
|
|
<span style="font-family: monospace;">device_parity
|
1055 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
1056 |
|
|
<span style="font-family: monospace;">device_tx_data
|
1057 |
|
|
= 8'hfa;</span><br style="font-family: monospace;">
|
1058 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1059 |
|
|
style="font-family: monospace;">
|
1060 |
|
|
<span style="font-family: monospace;">device_write
|
1061 |
|
|
=
|
1062 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
1063 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1064 |
|
|
style="font-family: monospace;">
|
1065 |
|
|
<span style="font-family: monospace;">device_write
|
1066 |
|
|
=
|
1067 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
1068 |
|
|
<br style="font-family: monospace;">
|
1069 |
|
|
<br style="font-family: monospace;">
|
1070 |
|
|
<br style="font-family: monospace;">
|
1071 |
|
|
<span style="font-family: monospace;">while (device_rx_read == 1'b0 )
|
1072 |
|
|
cg.next(1);</span><br style="font-family: monospace;">
|
1073 |
|
|
<span style="font-family: monospace;">cg.next(2000);</span><br
|
1074 |
|
|
style="font-family: monospace;">
|
1075 |
|
|
<br style="font-family: monospace;">
|
1076 |
|
|
<span style="font-family: monospace;">device_parity
|
1077 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
1078 |
|
|
<span style="font-family: monospace;">device_tx_data
|
1079 |
|
|
= 8'hfa;</span><br style="font-family: monospace;">
|
1080 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1081 |
|
|
style="font-family: monospace;">
|
1082 |
|
|
<span style="font-family: monospace;">device_write
|
1083 |
|
|
=
|
1084 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
1085 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1086 |
|
|
style="font-family: monospace;">
|
1087 |
|
|
<span style="font-family: monospace;">device_write
|
1088 |
|
|
=
|
1089 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
1090 |
|
|
<br style="font-family: monospace;">
|
1091 |
|
|
<br style="font-family: monospace;">
|
1092 |
|
|
<br style="font-family: monospace;">
|
1093 |
|
|
<br style="font-family: monospace;">
|
1094 |
|
|
<span style="font-family: monospace;">while (device_rx_read == 1'b0 )
|
1095 |
|
|
cg.next(1);</span><br style="font-family: monospace;">
|
1096 |
|
|
<span style="font-family: monospace;">cg.next(2000);</span><br
|
1097 |
|
|
style="font-family: monospace;">
|
1098 |
|
|
<br style="font-family: monospace;">
|
1099 |
|
|
<span style="font-family: monospace;">device_parity
|
1100 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
1101 |
|
|
<span style="font-family: monospace;">device_tx_data
|
1102 |
|
|
= 8'hfa;</span><br style="font-family: monospace;">
|
1103 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1104 |
|
|
style="font-family: monospace;">
|
1105 |
|
|
<span style="font-family: monospace;">device_write
|
1106 |
|
|
=
|
1107 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
1108 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1109 |
|
|
style="font-family: monospace;">
|
1110 |
|
|
<span style="font-family: monospace;">device_write
|
1111 |
|
|
=
|
1112 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
1113 |
|
|
<br style="font-family: monospace;">
|
1114 |
|
|
<br style="font-family: monospace;">
|
1115 |
|
|
<br style="font-family: monospace;">
|
1116 |
|
|
<br style="font-family: monospace;">
|
1117 |
|
|
<br style="font-family: monospace;">
|
1118 |
|
|
<br style="font-family: monospace;">
|
1119 |
|
|
<span style="font-family: monospace;">cg.next(20000);</span><br
|
1120 |
|
|
style="font-family: monospace;">
|
1121 |
|
|
<br style="font-family: monospace;">
|
1122 |
|
|
<span style="font-family: monospace;">device_parity
|
1123 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
1124 |
|
|
<span style="font-family: monospace;">device_tx_data
|
1125 |
|
|
= 8'h12;</span><br style="font-family: monospace;">
|
1126 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1127 |
|
|
style="font-family: monospace;">
|
1128 |
|
|
<span style="font-family: monospace;">device_write
|
1129 |
|
|
=
|
1130 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
1131 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1132 |
|
|
style="font-family: monospace;">
|
1133 |
|
|
<span style="font-family: monospace;">device_write
|
1134 |
|
|
=
|
1135 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
1136 |
|
|
<br style="font-family: monospace;">
|
1137 |
|
|
<br style="font-family: monospace;">
|
1138 |
|
|
<br style="font-family: monospace;">
|
1139 |
|
|
<span style="font-family: monospace;">cg.next(20000);</span><br
|
1140 |
|
|
style="font-family: monospace;">
|
1141 |
|
|
<br style="font-family: monospace;">
|
1142 |
|
|
<span style="font-family: monospace;">device_parity
|
1143 |
|
|
= 1'b1;</span><br style="font-family: monospace;">
|
1144 |
|
|
<span style="font-family: monospace;">device_tx_data
|
1145 |
|
|
= 8'h34;</span><br style="font-family: monospace;">
|
1146 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1147 |
|
|
style="font-family: monospace;">
|
1148 |
|
|
<span style="font-family: monospace;">device_write
|
1149 |
|
|
=
|
1150 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
1151 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1152 |
|
|
style="font-family: monospace;">
|
1153 |
|
|
<span style="font-family: monospace;">device_write
|
1154 |
|
|
=
|
1155 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
1156 |
|
|
<br style="font-family: monospace;">
|
1157 |
|
|
<br style="font-family: monospace;">
|
1158 |
|
|
<br style="font-family: monospace;">
|
1159 |
|
|
<span style="font-family: monospace;">cg.next(20000);</span><br
|
1160 |
|
|
style="font-family: monospace;">
|
1161 |
|
|
<br style="font-family: monospace;">
|
1162 |
|
|
<span style="font-family: monospace;">device_parity
|
1163 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
1164 |
|
|
<span style="font-family: monospace;">device_tx_data
|
1165 |
|
|
= 8'h56;</span><br style="font-family: monospace;">
|
1166 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1167 |
|
|
style="font-family: monospace;">
|
1168 |
|
|
<span style="font-family: monospace;">device_write
|
1169 |
|
|
=
|
1170 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
1171 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1172 |
|
|
style="font-family: monospace;">
|
1173 |
|
|
<span style="font-family: monospace;">device_write
|
1174 |
|
|
=
|
1175 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
1176 |
|
|
<br style="font-family: monospace;">
|
1177 |
|
|
<br style="font-family: monospace;">
|
1178 |
|
|
<br style="font-family: monospace;">
|
1179 |
|
|
<br style="font-family: monospace;">
|
1180 |
|
|
<br style="font-family: monospace;">
|
1181 |
|
|
<br style="font-family: monospace;">
|
1182 |
|
|
<br style="font-family: monospace;">
|
1183 |
|
|
<br style="font-family: monospace;">
|
1184 |
|
|
<span style="font-family: monospace;">cg.next(20000);</span><br
|
1185 |
|
|
style="font-family: monospace;">
|
1186 |
|
|
<br style="font-family: monospace;">
|
1187 |
|
|
<span style="font-family: monospace;">device_parity
|
1188 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
1189 |
|
|
<span style="font-family: monospace;">device_tx_data
|
1190 |
|
|
= 8'h78;</span><br style="font-family: monospace;">
|
1191 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1192 |
|
|
style="font-family: monospace;">
|
1193 |
|
|
<span style="font-family: monospace;">device_write
|
1194 |
|
|
=
|
1195 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
1196 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1197 |
|
|
style="font-family: monospace;">
|
1198 |
|
|
<span style="font-family: monospace;">device_write
|
1199 |
|
|
=
|
1200 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
1201 |
|
|
<br style="font-family: monospace;">
|
1202 |
|
|
<br style="font-family: monospace;">
|
1203 |
|
|
<br style="font-family: monospace;">
|
1204 |
|
|
<span style="font-family: monospace;">cg.next(20000);</span><br
|
1205 |
|
|
style="font-family: monospace;">
|
1206 |
|
|
<br style="font-family: monospace;">
|
1207 |
|
|
<span style="font-family: monospace;">device_parity
|
1208 |
|
|
= 1'b0;</span><br style="font-family: monospace;">
|
1209 |
|
|
<span style="font-family: monospace;">device_tx_data
|
1210 |
|
|
= 8'h9a;</span><br style="font-family: monospace;">
|
1211 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1212 |
|
|
style="font-family: monospace;">
|
1213 |
|
|
<span style="font-family: monospace;">device_write
|
1214 |
|
|
=
|
1215 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
1216 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1217 |
|
|
style="font-family: monospace;">
|
1218 |
|
|
<span style="font-family: monospace;">device_write
|
1219 |
|
|
=
|
1220 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
1221 |
|
|
<br style="font-family: monospace;">
|
1222 |
|
|
<br style="font-family: monospace;">
|
1223 |
|
|
<br style="font-family: monospace;">
|
1224 |
|
|
<span style="font-family: monospace;">cg.next(20000);</span><br
|
1225 |
|
|
style="font-family: monospace;">
|
1226 |
|
|
<br style="font-family: monospace;">
|
1227 |
|
|
<span style="font-family: monospace;">device_parity
|
1228 |
|
|
= 1'b1;</span><br style="font-family: monospace;">
|
1229 |
|
|
<span style="font-family: monospace;">device_tx_data
|
1230 |
|
|
= 8'hbc;</span><br style="font-family: monospace;">
|
1231 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1232 |
|
|
style="font-family: monospace;">
|
1233 |
|
|
<span style="font-family: monospace;">device_write
|
1234 |
|
|
=
|
1235 |
|
|
1'b1;</span><br style="font-family: monospace;">
|
1236 |
|
|
<span style="font-family: monospace;">cg.next(1);</span><br
|
1237 |
|
|
style="font-family: monospace;">
|
1238 |
|
|
<span style="font-family: monospace;">device_write
|
1239 |
|
|
=
|
1240 |
|
|
1'b0;</span><br style="font-family: monospace;">
|
1241 |
|
|
<br style="font-family: monospace;">
|
1242 |
|
|
<br style="font-family: monospace;">
|
1243 |
|
|
<br style="font-family: monospace;">
|
1244 |
|
|
<br style="font-family: monospace;">
|
1245 |
|
|
<br style="font-family: monospace;">
|
1246 |
|
|
<br style="font-family: monospace;">
|
1247 |
|
|
<span style="font-family: monospace;">cg.next(20000);</span><br
|
1248 |
|
|
style="font-family: monospace;">
|
1249 |
|
|
<br style="font-family: monospace;">
|
1250 |
|
|
<br style="font-family: monospace;">
|
1251 |
|
|
<br style="font-family: monospace;">
|
1252 |
|
|
<span style="font-family: monospace;">$display("%t
|
1253 |
|
|
Test PASSED",$realtime);</span><br style="font-family: monospace;">
|
1254 |
|
|
<span style="font-family: monospace;">$finish;</span><br
|
1255 |
|
|
style="font-family: monospace;">
|
1256 |
|
|
<span style="font-family: monospace;">end</span><br
|
1257 |
|
|
style="font-family: monospace;">
|
1258 |
|
|
<br style="font-family: monospace;">
|
1259 |
|
|
<br>
|
1260 |
|
|
</p>
|
1261 |
|
|
<p><br>
|
1262 |
|
|
</p>
|
1263 |
|
|
<p><br>
|
1264 |
|
|
<span style="font-family: monospace;">--------------------------------------------------------------------------------------------------------------------------------------</span><br>
|
1265 |
|
|
</p>
|
1266 |
|
|
<p><br>
|
1267 |
|
|
</p>
|
1268 |
|
|
<h2><a name="manifesto"></a>dmp_define<br>
|
1269 |
|
|
</h2>
|
1270 |
|
|
<p style="font-family: monospace;">--------------------------------------------------------------------------------------------------------------------------------------<br>
|
1271 |
|
|
</p>
|
1272 |
|
|
<p style="font-family: monospace;">$dumpfile ("TestBench.vcd");<br>
|
1273 |
|
|
$dumpvars (0, TB);<br>
|
1274 |
|
|
--------------------------------------------------------------------------------------------------------------------------------------<br>
|
1275 |
|
|
<br>
|
1276 |
|
|
</p>
|
1277 |
|
|
<p><br>
|
1278 |
|
|
<br>
|
1279 |
|
|
</p>
|
1280 |
94 |
jt_eaton |
<p></p>
|
1281 |
|
|
<p></p>
|
1282 |
27 |
jt_eaton |
<p><br>
|
1283 |
|
|
<br>
|
1284 |
|
|
</p>
|
1285 |
|
|
<p><br>
|
1286 |
|
|
<br>
|
1287 |
|
|
</p>
|
1288 |
|
|
<p><br>
|
1289 |
|
|
<br>
|
1290 |
|
|
</p>
|
1291 |
|
|
<p><br>
|
1292 |
|
|
<br>
|
1293 |
|
|
</p>
|
1294 |
|
|
<p><br>
|
1295 |
|
|
<br>
|
1296 |
|
|
</p>
|
1297 |
|
|
<p><br>
|
1298 |
|
|
<br>
|
1299 |
|
|
</p>
|
1300 |
|
|
</body>
|
1301 |
|
|
</html>
|