diff --git a/README.md b/README.md index c209405d5..db5f31d72 100644 --- a/README.md +++ b/README.md @@ -163,7 +163,7 @@ $ nix develop -c t1-helper run -i -c -e wheres - `` is the configuration name - `` is one of the `t1emu`, `t1rocketemu` -- `` is one of the `verilator-emu`, `verilator-emu-trace`, `vcs-emu`, `vcs-emu-trace` +- `` is one of the `verilator-emu`, `verilator-emu-trace`, `vcs-emu`, `vcs-emu-trace`, `vcs-emu-cover` - `` is the name of a testcase, you can resolve runnable test cases by command: `t1-helper listCases -c ` For example: @@ -206,6 +206,12 @@ $ nix develop -c t1-helper check The `t1-helper check` subcommand will read RTL event produced in `run` stage, so make sure you `run` a test before `check`. +To get the coverage report, use the `vcs-emu-cover` emulator type: + +```console +$ nix develop -c t1-helper run -i t1emu -c blastoise -e vcs-emu-cover mlir.hello +``` + #### Export RTL Properties ```shell