1 // -*- mode: C++; c-file-style: "cc-mode" -*-
2 // This file ONLY is placed under the Creative Commons Public Domain, for
3 // any use, without warranty, 2020 by Wilson Snyder.
4 // SPDX-License-Identifier: CC0-1.0
5
6 #include "Vt_tri_inz.h"
7 #include "Vt_tri_inz___024root.h"
8
9 VM_PREFIX* tb = nullptr;
10 bool pass = true;
11
sc_time_stamp()12 double sc_time_stamp() { return 0; }
13
checkone(const char * name,int got,int exp)14 void checkone(const char* name, int got, int exp) {
15 if (got != exp) {
16 printf("%%Error: For %s got=%d exp=%d\n", name, got, exp);
17 pass = false;
18 }
19 }
20
check(int d,int en,int exp0,int exp1,int expx,int expz)21 void check(int d, int en, int exp0, int exp1, int expx, int expz) {
22 tb->d = d;
23 tb->rootp->d__en0 = en;
24 tb->eval();
25 #ifdef TEST_VERBOSE
26 printf("Drive d=%d en=%d got0=%d/1=%d/x=%d/z=%d exp0=%d/1=%d/x=%d/z=%d\n", d, en, tb->ext0,
27 tb->ext1, tb->extx, tb->extz, exp0, exp1, expx, expz);
28 #endif
29 if (!expz) checkone("ext0", tb->ext0, exp0);
30 if (!expz) checkone("ext1", tb->ext1, exp1);
31 checkone("extx", tb->extx, expx);
32 checkone("extz", tb->extz, expz);
33 }
34
main()35 int main() {
36 Verilated::debug(0);
37 tb = new Vt_tri_inz("tb");
38 check(0, 1, 1, 0, 0, 0);
39 check(1, 1, 0, 1, 0, 0);
40 check(0, 0, 0, 0, 0, 1);
41
42 if (pass) {
43 VL_PRINTF("*-* All Finished *-*\n");
44 tb->final();
45 } else {
46 vl_fatal(__FILE__, __LINE__, "top", "Unexpected results from t_tri_inz\n");
47 }
48 VL_DO_DANGLING(delete tb, tb);
49 return 0;
50 }
51