[nix] add coverage flow

Author: Clo91eaf

templates/chisel/nix/gcd/scripts/vcs-wrapper.sh

@@ -6,37 +6,41 @@ if ((${VERBOSE:-0})); then
   set -x
 fi
 
+_LIB=@lib@
 _DATE_BIN=@dateBin@
 _VCS_SIM_BIN=@vcsSimBin@
 _VCS_SIM_DAIDIR=@vcsSimDaidir@
 _VCS_FHS_ENV=@vcsFhsEnv@
+_VCS_COV_DIR=@vcsCovDir@
 
 _NOW=$("$_DATE_BIN" "+%Y-%m-%d-%H-%M-%S")
 _GCD_SIM_RESULT_DIR=${GCD_SIM_RESULT_DIR:-"gcd-sim-result"}
 _CURRENT="$_GCD_SIM_RESULT_DIR"/all/"$_NOW"
+_CM_ARG=""
 mkdir -p "$_CURRENT"
 ln -sfn "all/$_NOW" "$_GCD_SIM_RESULT_DIR/result"
 
 cp "$_VCS_SIM_BIN" "$_CURRENT/"
 cp -r "$_VCS_SIM_DAIDIR" "$_CURRENT/"
 
-chmod -R +w "$_CURRENT"
+if [ -n "$_VCS_COV_DIR" ]; then
+  cp -vr "$_LIB/$_VCS_COV_DIR" "$_CURRENT/"
+  _CM_ARG="-cm assert -cm_dir $_CURRENT/$_VCS_COV_DIR"
+fi
 
-pushd "$_CURRENT" >/dev/null
+chmod -R +w "$_CURRENT"
 
 _emu_name=$(basename "$_VCS_SIM_BIN")
 _daidir=$(basename "$_VCS_SIM_DAIDIR")
 
-export LD_LIBRARY_PATH="$PWD/$_daidir:$LD_LIBRARY_PATH"
+export LD_LIBRARY_PATH="$_CURRENT/$_daidir:$LD_LIBRARY_PATH"
 
-"$_VCS_FHS_ENV" -c "./$_emu_name $_EXTRA_ARGS" &> >(tee vcs-emu-journal.log)
+"$_VCS_FHS_ENV" -c "$_CURRENT/$_emu_name $_CM_ARG $_EXTRA_ARGS" &> >(tee $_CURRENT/vcs-emu-journal.log)
 
 if ((${DATA_ONLY:-0})); then
-  rm -f "./$_emu_name"
+  rm -f "$_CURRENT/$_emu_name"
 fi
 
 set -e _emu_name _daidir
 
-popd >/dev/null
-
 echo "VCS emulator finished, result saved in $_GCD_SIM_RESULT_DIR/result"

templates/chisel/nix/gcd/vcs.nix

@@ -12,6 +12,8 @@
 
 let
   binName = "gcd-vcs-simulator";
+  coverageName = "coverage.vdb";
+  enableCover = true;
 in
 stdenv.mkDerivation (finalAttr: {
   name = "vcs";
@@ -41,10 +43,15 @@ stdenv.mkDerivation (finalAttr: {
       ${
         lib.optionalString dpi-lib.enable-trace ''
           -debug_access+pp+dmptf+thread \
-          -kdb=common_elab,hgldd_all''
+          -kdb=common_elab,hgldd_all \
+          -assert enable_diag ''
+      } \
+      ${
+        lib.optionalString enableCover ''
+          -cm line+cond+fsm+tgl+branch+assert \
+          -cm_dir ${coverageName} ''
       } \
       -file filelist.f \
-      -assert enable_diag \
       ${dpi-lib}/lib/${dpi-lib.libOutName} \
       -o ${binName}
 
@@ -79,11 +86,18 @@ stdenv.mkDerivation (finalAttr: {
     cp ${binName} $out/lib
     cp -r ${binName}.daidir $out/lib
 
+    ${
+      lib.optionalString enableCover ''
+      cp -r ${coverageName} $out/lib''
+    } \
+
     substitute ${./scripts/vcs-wrapper.sh} $out/bin/${binName} \
+      --subst-var-by lib "$out/lib" \
       --subst-var-by shell "${bash}/bin/bash" \
       --subst-var-by dateBin "$(command -v date)" \
       --subst-var-by vcsSimBin "$out/lib/${binName}" \
       --subst-var-by vcsSimDaidir "$out/lib/${binName}.daidir" \
+      --subst-var-by vcsCovDir "${lib.optionalString enableCover "${coverageName}"}" \
       --subst-var-by vcsFhsEnv "${vcs-fhs-env}/bin/vcs-fhs-env"
     chmod +x $out/bin/${binName}