diff --git a/nix/t1/conversion/sv-to-vcs-simulator.nix b/nix/t1/conversion/sv-to-vcs-simulator.nix index 7d9b700d1..2e902f9ed 100644 --- a/nix/t1/conversion/sv-to-vcs-simulator.nix +++ b/nix/t1/conversion/sv-to-vcs-simulator.nix @@ -21,6 +21,7 @@ stdenv.mkDerivation rec { # require license __noChroot = true; dontPatchELF = true; + enableCover = true; src = rtl; @@ -30,6 +31,8 @@ stdenv.mkDerivation rec { "-timescale=1ns/1ps" "-file" "filelist.f" + ] + ++ lib.optionals (enableCover) [ "-cm" "line+cond+fsm+tgl+branch+assert" "-cm_dir" @@ -39,6 +42,8 @@ stdenv.mkDerivation rec { "+define+T1_ENABLE_TRACE" "-debug_access+pp+dmptf+thread" "-kdb=common_elab,hgldd_all" + "-assert" + "disable_cover" ] ++ vcsLinkLibs; @@ -69,16 +74,21 @@ 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 + ${lib.optionalString enableCover '' + cp -r ./cm.vdb $out/lib + ''} # We need to carefully handle string escape here, so don't use makeWrapper tee $out/bin/$mainProgram <