diff --git a/nix/t1/conversion/sv-to-vcs-simulator.nix b/nix/t1/conversion/sv-to-vcs-simulator.nix
index 69f012679..e6c29a23c 100644
--- a/nix/t1/conversion/sv-to-vcs-simulator.nix
+++ b/nix/t1/conversion/sv-to-vcs-simulator.nix
@@ -8,6 +8,7 @@
 { mainProgram
 , rtl
 , enableTrace ? false
+, enableCover ? false
 , vcsLinkLibs ? [ ]
 }:
 
@@ -36,6 +37,16 @@ stdenv.mkDerivation rec {
     "-debug_access+pp+dmptf+thread"
     "-kdb=common_elab,hgldd_all"
   ]
+  ++ lib.optionals (enableCover) [
+    "-cm"
+    "line+cond+fsm+tgl+branch+assert"
+    "-cm_dir"
+    "./cm"
+  ]
+  ++ lib.optionals (!enableCover) [
+    "-assert"
+    "disable_cover"
+  ]
   ++ vcsLinkLibs;
 
   buildPhase = ''
@@ -65,13 +76,16 @@ stdenv.mkDerivation rec {
     mkdir -p $out/bin $out/lib
     cp $mainProgram $out/lib
     cp -r $mainProgram.daidir $out/lib
+    cp -r ./cm.vdb $out/lib
 
     # We need to carefully handle string escape here, so don't use makeWrapper
     tee $out/bin/$mainProgram <<EOF
     #!${bash}/bin/bash
     export LD_LIBRARY_PATH="$out/lib/$mainProgram.daidir:\$LD_LIBRARY_PATH"
     _argv="\$@"
-    ${vcs-fhs-env}/bin/vcs-fhs-env -c "$out/lib/$mainProgram \$_argv"
+    cp -r $out/lib/cm.vdb ./cm.vdb
+    chmod +w -R ./cm.vdb
+    ${vcs-fhs-env}/bin/vcs-fhs-env -c "$out/lib/$mainProgram -cm_dir ./cm.vdb \$_argv"
     EOF
     chmod +x $out/bin/$mainProgram
 
diff --git a/nix/t1/run/run-vcs-emu.nix b/nix/t1/run/run-vcs-emu.nix
index 8f5e5c039..6dacaa134 100644
--- a/nix/t1/run/run-vcs-emu.nix
+++ b/nix/t1/run/run-vcs-emu.nix
@@ -15,6 +15,7 @@ stdenvNoCC.mkDerivation (finalAttr: {
     emuDriverArgsArray=(
       "+t1_elf_file=${testCase}/bin/${testCase.pname}.elf"
       ${lib.optionalString emulator.enableTrace "+t1_wave_path=${testCase.pname}.fsdb"}
+      ${lib.optionalString emulator.enableCover "-cm assert"}
     )
     emuDriverArgs="''${emuDriverArgsArray[@]}"
     emuDriver="${emulator}/bin/${emulator.mainProgram}"
@@ -82,5 +83,10 @@ stdenvNoCC.mkDerivation (finalAttr: {
       cp -v ${testCase.pname}.fsdb "$out"
       cp -vr ${emulator}/lib/${emulator.mainProgram}.daidir "$out"
     ''}
+
+    ${lib.optionalString emulator.enableCover ''
+      cp -v cm.log "$out"
+      cp -vr cm.vdb "$out"
+    ''}
   '';
 })
diff --git a/nix/t1/t1.nix b/nix/t1/t1.nix
index 3f6daa337..4c797ea08 100644
--- a/nix/t1/t1.nix
+++ b/nix/t1/t1.nix
@@ -152,6 +152,7 @@ lib.mapAttrs
         mainProgram = "t1-vcs-trace-simulator";
         rtl = ipScope.emu-rtl;
         enableTrace = true;
+        enableCover = true;
         vcsLinkLibs = [ "${ipScope.vcs-dpi-lib-trace}/lib/libdpi_t1.a" ];
       };
 
diff --git a/nix/t1/t1rocket.nix b/nix/t1/t1rocket.nix
index 447171288..58c06aa1f 100644
--- a/nix/t1/t1rocket.nix
+++ b/nix/t1/t1rocket.nix
@@ -100,6 +100,7 @@
       mainProgram = "t1rocket-vcs-trace-simulator";
       rtl = scope.rtl;
       enableTrace = true;
+      enableCover = true;
       vcsLinkLibs = [ "${scope.vcs-dpi-lib-trace}/lib/libdpi_t1rocket.a" ];
     };
 
diff --git a/script/emu/src/Main.scala b/script/emu/src/Main.scala
index 3a7457300..241cf089e 100644
--- a/script/emu/src/Main.scala
+++ b/script/emu/src/Main.scala
@@ -180,7 +180,8 @@ object Main:
         s"No cached emulator selection nor --emu argument was provided"
       )
 
-    val isTrace = finalEmuType.get.endsWith("-trace")
+    val isTrace = finalEmuType.get.contains("-trace")
+    val isCover = isTrace
 
     val finalConfig = tryRestoreFromCache("config", config)
     if finalConfig.isEmpty then
@@ -204,6 +205,7 @@ object Main:
       s"+t1_elf_file=${caseElfPath}"
     )
       ++ optionals(isTrace, Seq(s"+t1_wave_path=${outputPath / "wave.fsdb"}"))
+      ++ optionals(isCover, Seq(s"-cm assert"))
       ++ optionals(!leftOverArguments.isEmpty, leftOverArguments)
 
     if dryRun.value then return
@@ -259,6 +261,14 @@ object Main:
 
     Logger.info("Driver finished")
 
+    if isCover then
+      if os.exists(os.pwd / "cm.vdb") && os.exists(os.pwd / "cm.log") then
+        os.move(os.pwd / "cm.vdb", outputPath / "cm.vdb", replaceExisting = true)
+        os.move(os.pwd / "cm.log", outputPath / "cm.log", replaceExisting = true)
+        Logger.info(s"Coverage database saved under ${outputPath}/cm.vdb")
+      else 
+        Logger.error("No cm.vdb cm.log found")
+
     if os.exists(os.pwd / "perf.json") then
       os.move(os.pwd / "perf.json", outputPath / "perf.json", replaceExisting = true)
 
diff --git a/t1emu/src/TestBench.scala b/t1emu/src/TestBench.scala
index cf705fb1e..1896f6f8c 100644
--- a/t1emu/src/TestBench.scala
+++ b/t1emu/src/TestBench.scala
@@ -13,10 +13,12 @@ import chisel3.util.circt.dpi.{
   RawClockedVoidFunctionCall,
   RawUnclockedNonVoidFunctionCall
 }
-import chisel3.util.{HasExtModuleInline, PopCount, UIntToOH, Valid}
+import chisel3.util.{BitPat, HasExtModuleInline, PopCount, UIntToOH, Valid}
+import chisel3.ltl.{CoverProperty, Sequence}
 import org.chipsalliance.amba.axi4.bundle._
 import org.chipsalliance.t1.t1emu.dpi._
 import org.chipsalliance.t1.rtl.{T1, T1Parameter}
+import org.chipsalliance.rvdecoderdb.Instruction
 
 @instantiable
 class TestBenchOM extends Class {
@@ -283,4 +285,8 @@ class TestBench(generator: SerializableModuleGenerator[T1, T1Parameter])
       scoreboard.bits  := 0.U
     }
   }
+  generator.parameter.decoderParam.allInstructions.map { instruction: Instruction =>
+    val issueMatch = Sequence.BoolSequence(issue.instruction === BitPat("b" + instruction.encoding.toString))
+    CoverProperty(issueMatch, label = Some(s"t1_cover_issue_${instruction.name}"))
+  }
 }