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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
// -*- mode: C++; c-file-style: "cc-mode" -*-
//
// DESCRIPTION: Verilator: Verilog Test module
//
// This file ONLY is placed under the Creative Commons Public Domain, for
// any use, without warranty, 2024 by Wilson Snyder.
// SPDX-License-Identifier: CC0-1.0
#include "verilated_cov.h"
#include <verilated.h>
#include VM_PREFIX_INCLUDE
// These require the above. Comment prevents clang-format moving them
#include "TestCheck.h"
unsigned int main_time = 0;
double sc_time_stamp() { return main_time; }
//======================================================================
int errors = 0;
void verilatedTest() {
const std::unique_ptr<VerilatedContext> contextp{new VerilatedContext};
// Assert enable/disable
contextp->assertOn(true);
TEST_CHECK_NZ(contextp->assertOn());
contextp->assertOn(false);
TEST_CHECK_Z(contextp->assertOn());
TEST_CHECK_Z(contextp->assertOnGet(1, 1));
// Setting one type
contextp->assertOnSet(1, 1);
TEST_CHECK_NZ(contextp->assertOnGet(1, 1));
TEST_CHECK_NZ(contextp->assertOn());
TEST_CHECK_Z(contextp->assertOnGet(2, 2));
// Setting types
contextp->assertOn(false);
contextp->assertOnSet(1, 3);
TEST_CHECK_NZ(contextp->assertOnGet(1, 3));
TEST_CHECK_NZ(contextp->assertOnGet(1, 2));
TEST_CHECK_NZ(contextp->assertOnGet(1, 1));
TEST_CHECK_Z(contextp->assertOnGet(1, 0));
TEST_CHECK_Z(contextp->assertOnGet(2, 0));
TEST_CHECK_Z(contextp->assertOnGet(0, 0));
// Setting multiple types separately
contextp->assertOn(false);
contextp->assertOnSet(0, 1);
contextp->assertOnSet(1, 2);
contextp->assertOnSet(2, 3);
TEST_CHECK_NZ(contextp->assertOn());
TEST_CHECK_Z(contextp->assertOnGet(0, 1));
TEST_CHECK_Z(contextp->assertOnGet(1, 1));
TEST_CHECK_NZ(contextp->assertOnGet(1, 2));
TEST_CHECK_NZ(contextp->assertOnGet(2, 1));
TEST_CHECK_NZ(contextp->assertOnGet(2, 2));
TEST_CHECK_NZ(contextp->assertOnGet(2, 3));
TEST_CHECK_Z(contextp->assertOnGet(0, 2));
TEST_CHECK_Z(contextp->assertOnGet(4, 1));
TEST_CHECK_Z(contextp->assertOnGet(8, 7));
// Clearing selected types
contextp->assertOn(true);
contextp->assertOnClear(1, 3);
contextp->assertOnClear(1, 4);
TEST_CHECK_Z(contextp->assertOnGet(1, 1));
TEST_CHECK_Z(contextp->assertOnGet(1, 2));
TEST_CHECK_Z(contextp->assertOnGet(1, 4));
contextp->assertOnClear(4, 4);
TEST_CHECK_Z(contextp->assertOnGet(4, 4));
TEST_CHECK_NZ(contextp->assertOnGet(4, 1));
TEST_CHECK_NZ(contextp->assertOnGet(4, 2));
TEST_CHECK_NZ(contextp->assertOn());
// Clearing all assert types
contextp->assertOn(true);
contextp->assertOnClear(255, 7);
// Everything is disabled except internal asserts
TEST_CHECK_NZ(contextp->assertOn());
contextp->assertOn(false);
// Now everything is disabled
TEST_CHECK_Z(contextp->assertOn());
}
int main(int argc, char** argv) {
verilatedTest();
if (errors) return 10;
const std::unique_ptr<VerilatedContext> contextp{new VerilatedContext};
contextp->threads(1);
contextp->commandArgs(argc, argv);
contextp->debug(0);
srand48(5);
const std::unique_ptr<VM_PREFIX> topp{new VM_PREFIX{"top"}};
constexpr uint64_t sim_time = 100;
while ((contextp->time() < sim_time) && !contextp->gotFinish()) {
topp->clk = !topp->clk;
topp->eval();
contextp->timeInc(1);
}
const std::string filename = std::string{VL_STRINGIFY(TEST_OBJ_DIR) "/coverage.dat"};
contextp->coveragep()->write(filename);
if (!contextp->gotFinish()) {
vl_fatal(__FILE__, __LINE__, "main", "%Error: Timeout; never got a $finish");
}
topp->final();
return 0;
}
|
