From 3da62558ec7172c35688098a87afaa317c2eed83 Mon Sep 17 00:00:00 2001 From: Rose Thompson Date: Sat, 1 Jun 2024 11:12:30 -0500 Subject: [PATCH] Updated readme. --- README.md | 31 +++++++++++++++++++++---------- 1 file changed, 21 insertions(+), 10 deletions(-) diff --git a/README.md b/README.md index e225a44b4..084741107 100644 --- a/README.md +++ b/README.md @@ -150,19 +150,22 @@ If you want to add a cronjob you can do the following: wsim runs one of multiple simulators, Questa, VCS, or Verilator using a specific configuration and either a suite of tests or a specific elf file. The general syntax is -wsim [--options] +wsim [--options] Parameters and options: - -h, --help show this help message and exit - --elf, -e Elf file - --tb {testbench,testbench_fp}, -t {testbench,testbench_fp} Testbench - --gui, -g Simulate with GUI - --coverage, -c Code & Functional Coverage - --args ARGS, -a ARGS Optional arguments passed to simulator via $value$plusargs - --vcd, -v Generate testbench.vcd - --lockstep, -l Run ImperasDV lock, step, and compare. - --locksteplog LOCKSTEPLOG, -b LOCKSTEPLOG Retired instruction number to be begin logging. + -h, --help show this help message and exit + --sim {questa,verilator,vcs}, -s {questa,verilator,vcs} Simulator + --tb {testbench,testbench_fp}, -t {testbench,testbench_fp} Testbench + --gui, -g Simulate with GUI + --coverage, -c Code & Functional Coverage + --fcov, -f Code & Functional Coverage + --args ARGS, -a ARGS Optional arguments passed to simulator via $value$plusargs + --vcd, -v Generate testbench.vcd + --lockstep, -l Run ImperasDV lock, step, and compare. + --locksteplog LOCKSTEPLOG, -b LOCKSTEPLOG Retired instruction number to be begin logging. + --covlog COVLOG, -d COVLOG Log coverage after n instructions. + --elfext ELFEXT, -e ELFEXT When searching for elf files only includes ones which end in this extension Run basic test with questa @@ -179,3 +182,11 @@ Run lockstep against ImperasDV with a single elf file in the --gui. Lockstep re Run lockstep against ImperasDV with a single elf file. Compute coverage. wsim rv64gc ../../tests/riscof/work/riscv-arch-test/rv64i_m/I/src/add-01.S/ref/ref.elf --lockstep --coverage + +Run lockstep against ImperasDV with directory file. + + wsim rv64gc ../../tests/riscof/work/riscv-arch-test/rv64i_m/I/src/ --lockstep + +Run lockstep against ImperasDV with directory file and specify specific extension. + + wsim rv64gc ../../tests/riscof/work/riscv-arch-test/rv64i_m/I/src/ --lockstep --elfext ref.elf