[nix] add demo about hierarchy of coverage

chipsalliance · Dec 5, 2024 · 67152cb · 67152cb
1 parent 23bcbe5
commit 67152cb
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/nix/t1/conversion/sv-to-vcs-simulator.nix b/nix/t1/conversion/sv-to-vcs-simulator.nix
@@ -47,6 +47,8 @@ stdenv.mkDerivation rec {
     "line+cond+fsm+tgl+branch+assert"
     "-cm_dir"
     "./cm"
+    "-assert"
+    "enable_hier"
   ]
   ++ lib.optionals enableTrace [
     "+define+T1_ENABLE_TRACE"

diff --git a/tests/coverage/mlir/hello.hier b/tests/coverage/mlir/hello.hier
@@ -0,0 +1 @@
++assert TestBench.dut.verification_cover.t1_cover_issue_vaadd_vv
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		+assert TestBench.dut.verification_cover.t1_cover_issue_vaadd_vv