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
|
// This file ONLY is placed under the Creative Commons Public Domain, for
// any use, without warranty, 2020 by Wilson Snyder.
// SPDX-License-Identifier: CC0-1.0
#include VM_PREFIX_INCLUDE
void oneTest(int argc, char** argv, int seed) {
uint64_t sim_time = 1000;
#ifdef TEST_VERBOSE
VL_PRINTF("== Seed=%d\n", seed);
#endif
const std::unique_ptr<VerilatedContext> contextp{new VerilatedContext};
contextp->commandArgs(argc, argv);
// Randomise initial state
srand48(seed);
srand48(5);
contextp->randReset(123);
// Construct the Verilated model, from Vtop.h generated from Verilating
const std::unique_ptr<VM_PREFIX> topp{new VM_PREFIX{contextp.get()}};
// Start not in reset
topp->rst_n = 1;
topp->clk = 0;
topp->eval();
// Tick for a little bit
while (contextp->time() < sim_time && !contextp->gotFinish()) {
topp->clk = 0;
topp->eval();
contextp->timeInc(5);
topp->clk = 1;
topp->eval();
contextp->timeInc(5);
}
if (!contextp->gotFinish()) {
vl_fatal(__FILE__, __LINE__, "main", "%Error: Timeout; never got a $finish");
}
topp->final();
}
int main(int argc, char** argv) {
#if VL_DEBUG
// Verilated::debug(1);
#endif
for (int seed = 123; seed < 133; ++seed) oneTest(argc, argv, seed);
return 0;
}
|
