[nix] fix simulator binary name

chipsalliance · Jan 25, 2025 · 596e9b4 · 596e9b4
1 parent e44c918
commit 596e9b4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/nix/t1/t1.nix b/nix/t1/t1.nix
@@ -118,15 +118,15 @@ forEachTop (topName: generator: self: {
   };
 
   verilator-emu = t1Scope.sv-to-verilator-emulator {
-    mainProgram = "${topName}-verilated";
+    mainProgram = "${topName}-verilated-simulator";
     topModule = "TestBench";
     rtl = self.rtl;
     vsrc = lib.filesystem.listFilesRecursive self.clean-vsrc.outPath;
     dpiLibs = [ "${self.verilator-dpi-lib}/lib/libdpi_${topName}.a" ];
   };
   verilator-emu-trace = self.verilator-emu.override {
     enableTrace = true;
-    mainProgram = "${topName}-verilated-trace";
+    mainProgram = "${topName}-verilated-trace-simulator";
   };
 
   # ---------------------------------------------------------------------------------