From 67152cb814d19ffeff8187a016887a7de8fae819 Mon Sep 17 00:00:00 2001
From: Clo91eaf <Clo91eaf@qq.com>
Date: Thu, 5 Dec 2024 23:31:47 +0800
Subject: [PATCH] [nix] add demo about hierarchy of coverage

---
 nix/t1/conversion/sv-to-vcs-simulator.nix | 2 ++
 tests/coverage/mlir/hello.hier            | 1 +
 2 files changed, 3 insertions(+)
 create mode 100644 tests/coverage/mlir/hello.hier

diff --git a/nix/t1/conversion/sv-to-vcs-simulator.nix b/nix/t1/conversion/sv-to-vcs-simulator.nix
index 5ac289762..a2c242cc4 100644
--- 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
new file mode 100644
index 000000000..a61e42868
--- /dev/null
+++ b/tests/coverage/mlir/hello.hier
@@ -0,0 +1 @@
++assert TestBench.dut.verification_cover.t1_cover_issue_vaadd_vv
\ No newline at end of file