diff options
Diffstat (limited to 'testbench.cc')
-rw-r--r-- | testbench.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testbench.cc b/testbench.cc index 81c6273..cd835df 100644 --- a/testbench.cc +++ b/testbench.cc @@ -3,6 +3,9 @@ int main(int argc, char **argv, char **env) { + printf("Built with %s %s.\n", Verilated::productName(), Verilated::productVersion()); + printf("Recommended: Verilator 4.0 or later.\n"); + Verilated::commandArgs(argc, argv); Verilated::traceEverOn(true); Vpicorv32_wrapper* top = new Vpicorv32_wrapper; |