-
Notifications
You must be signed in to change notification settings - Fork 62
/
README
69 lines (55 loc) · 3.03 KB
/
README
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
//////////////////////////////////////////////////////////////////////
// //
// Author : G. Andres Mancera //
// Project : SystemVerilog/UVM Testbench for a 10GE MAC Core //
// License : GNU Lesser General Public License //
// //
//////////////////////////////////////////////////////////////////////
=================================
EXECUTIVE SUMMARY
=================================
This is the source code of a fully-fledged SystemVerilog verification
environment using the Universal Verification Methodology. The Design
Under-Test (DUT) is a 10GE MAC Core whose source code is available under
the LGPL license from OpenCores.org:
http://opencores.org/project,xge_mac
This verification environment was developed as the final project of the
"System and Functional Verification Using UVM" course at the UCSC Silicon
Valley Extension. For additional information, take a look at the
verification document available in the doc/ directory.
=================================
VERIFICATION PLAN DOCUMENT
=================================
The verification plan is available in the doc/ directory. This document
describes the whole testbench environment and all its components in detail.
An appendix that explains the 2 bugs that were found as part of this project
has been also added to the verification plan.
=================================
TESTBENCH'S FILE STRUCTURE
=================================
Here is a brief description of each one of the directories in this project:
* doc/: PDF verification plan (aka testplan).
* rtl/: Verilog source code for the DUT.
* scripts/: Scripts required to run a regression.
* sim/: runsim files for all testcases with the required VCS flags.
* testbench/: Source code for all the testbench components.
* testcases/: Test case files.
=================================
HOW TO RUN A TEST/REGRESSION?
=================================
Go to the scripts/ directory and type "make". This will display the Makefile
usage. You can choose to run all the test cases at once in a regression-like
manner as shown below:
> make regress
You can also run one test case by providing the make target alias that is shown
in the usage. For instance, if you want to run the "bringup_packet_test", you
can use the make script to do so as shown below:
> make t1
If you choose to run a full regression, a perl script will be invoked by the
Makefile in order to parse the log files and generate a report that contains
test cases with a passing/failing/unknown log signature.
Alternatively, if you don't want to use the make script and just want to use
the runsim scripts in order to run tests manually, go to the sim/ directory and
run the scripts that corresponds to the test case that you would like to run.
For instance, if you want to run the "zero_ipg_packet_test", you can do:
> ./runsim.zero_ipg_packet_test