From a7be4cfedef05b953d830db6963f3960deb6518a Mon Sep 17 00:00:00 2001 From: Clo91eaf Date: Tue, 10 Dec 2024 10:15:38 +0800 Subject: [PATCH] [nix] specify coverpoint file during vcs-emu-cover flow --- nix/t1/run/run-vcs-emu.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/nix/t1/run/run-vcs-emu.nix b/nix/t1/run/run-vcs-emu.nix index cb7ca0a6d..58617e28c 100644 --- a/nix/t1/run/run-vcs-emu.nix +++ b/nix/t1/run/run-vcs-emu.nix @@ -49,6 +49,8 @@ stdenvNoCC.mkDerivation (rec { ++ lib.optionals emulator.enableCover [ "-cm" "assert" + "-assert" + "hier=${testCase}/${testCase.pname}.cover" ] ++ lib.optionals emulator.enableTrace [ "+t1_wave_path=${testCase.pname}.fsdb"