diff --git a/nix/t1/vcs.nix b/nix/t1/vcs.nix index c2a681960..3b862f21f 100644 --- a/nix/t1/vcs.nix +++ b/nix/t1/vcs.nix @@ -26,8 +26,8 @@ stdenv.mkDerivation { -sverilog \ -full64 \ -timescale=1ns/1ps \ + -P $VERDI_HOME/share/PLI/VCS/LINUX64/novas.tab $VERDI_HOME/share/PLI/VCS/LINUX64/pli.a \ ${lib.optionalString vcs-dpi-lib.enable-trace '' - -P $VERDI_HOME/share/PLI/VCS/LINUX64/novas.tab $VERDI_HOME/share/PLI/VCS/LINUX64/pli.a \ -debug_access+pp+dmptf+thread \ -kdb=common_elab,hgldd_all''} \ -file filelist.f \