diff options
Diffstat (limited to 'riscv/picorv32/scripts/csmith/testbench.cc')
-rw-r--r-- | riscv/picorv32/scripts/csmith/testbench.cc | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/riscv/picorv32/scripts/csmith/testbench.cc b/riscv/picorv32/scripts/csmith/testbench.cc new file mode 100644 index 0000000..2925d0b --- /dev/null +++ b/riscv/picorv32/scripts/csmith/testbench.cc @@ -0,0 +1,18 @@ +#include "Vtestbench.h" +#include "verilated.h" + +int main(int argc, char **argv, char **env) +{ + Verilated::commandArgs(argc, argv); + Vtestbench* top = new Vtestbench; + + top->clk = 0; + while (!Verilated::gotFinish()) { + top->clk = !top->clk; + top->eval(); + } + + delete top; + exit(0); +} + |