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
70
71
72
73
74
75
76
77
|
// -*- mode: C++; c-file-style: "cc-mode" -*-
//
// This file ONLY is placed into the Public Domain, for any use,
// without warranty, 2008 by Lane Brooks
#ifdef T_COND
# include "Vt_tri_gate_cond.h"
#elif defined(T_BUFIF0)
# include "Vt_tri_gate_bufif0.h"
#elif defined(T_BUFIF1)
# include "Vt_tri_gate_bufif1.h"
#elif defined(T_NOTIF0)
# include "Vt_tri_gate_notif0.h"
#elif defined(T_NOTIF1)
# include "Vt_tri_gate_notif1.h"
#elif defined(T_PMOS)
# include "Vt_tri_gate_pmos.h"
#elif defined(T_NMOS)
# include "Vt_tri_gate_nmos.h"
#else
# error "Unknown test"
#endif
VM_PREFIX* tb = NULL;
double sc_time_stamp() {
return 0;
}
bool check() {
bool pass;
int c = (tb->A >> tb->SEL) & 0x1;
#ifdef TEST_VERBOSE
bool verbose = true;
#else
bool verbose = false;
#endif
if(tb->W == c && tb->X == c && tb->Y == c && tb->Z == c) {
pass = true;
if (verbose) printf("- pass: ");
} else {
pass = false;
verbose = true;
printf("%%E-FAIL: ");
}
if (verbose) {
printf("SEL=%d A=%d got: W=%d X=%d Y=%d Z=%d exp: WXYZ=%d\n",
tb->SEL, tb->A, tb->W, tb->X, tb->Y, tb->Z, c);
}
return pass;
}
int main() {
bool pass = true;
Verilated::debug(0);
tb = new VM_PREFIX ("tb");
// loop through every possibility and check the result
for (tb->SEL=0; tb->SEL<2; tb->SEL++) {
for (tb->A=0; tb->A<4; tb->A++) {
tb->eval();
if(!check()) {
pass =false;
}
}
}
if(pass) {
VL_PRINTF("*-* All Finished *-*\n");
tb->final();
} else {
vl_fatal(__FILE__,__LINE__,"top", "Unexpected results from tristate test\n");
}
return 0;
}
|
