diff --git a/platforms/nexus/kelvin.mk b/platforms/nexus/kelvin.mk
index f986586..9b572db 100644
--- a/platforms/nexus/kelvin.mk
+++ b/platforms/nexus/kelvin.mk
@@ -74,12 +74,12 @@
 
 ## Verilog Source for Kelvin
 #
-# This generates the kelvin.v file that can be used to update hw/matcha
+# This generates the kelvin.sv file that can be used to update hw/matcha
 kelvin_hw_verilog: | $(KELVIN_HW_BAZEL_OUT_DIR)
 	cd "$(KELVIN_HW_SRC_DIR)" && \
 		bazel clean --expunge && \
 			bazel build //hdl/chisel:matcha_kelvin_verilog && \
-		cp -rf bazel-bin/hdl/chisel/kelvin.v "$(KELVIN_HW_BAZEL_OUT_DIR)"
+		cp -rf bazel-bin/hdl/chisel/kelvin.sv "$(KELVIN_HW_BAZEL_OUT_DIR)"
 
 ## Verilated Kelvin HW simulator
 kelvin_hw_sim: | $(KELVIN_HW_BAZEL_OUT_DIR)
diff --git a/platforms/shodan/kelvin.mk b/platforms/shodan/kelvin.mk
index dc3c68e..9e434bc 100644
--- a/platforms/shodan/kelvin.mk
+++ b/platforms/shodan/kelvin.mk
@@ -54,12 +54,12 @@
 
 ## Verilog Source for Kelvin
 #
-# This generates the kelvin.v file that can be used to update hw/matcha
+# This generates the kelvin.sv file that can be used to update hw/matcha
 kelvin_hw_verilog: | $(KELVIN_HW_BAZEL_OUT_DIR)
 	cd "$(KELVIN_HW_SRC_DIR)" && \
 		bazel clean --expunge && \
 			bazel build //hdl/chisel:matcha_kelvin_verilog && \
-		cp -rf bazel-bin/hdl/chisel/kelvin.v "$(KELVIN_HW_BAZEL_OUT_DIR)"
+		cp -rf bazel-bin/hdl/chisel/kelvin.sv "$(KELVIN_HW_BAZEL_OUT_DIR)"
 
 ## Verilated Kelvin HW simulator
 kelvin_hw_sim: | $(KELVIN_HW_BAZEL_OUT_DIR)
diff --git a/platforms/sparrow/kelvin.mk b/platforms/sparrow/kelvin.mk
index f986586..9b572db 100644
--- a/platforms/sparrow/kelvin.mk
+++ b/platforms/sparrow/kelvin.mk
@@ -74,12 +74,12 @@
 
 ## Verilog Source for Kelvin
 #
-# This generates the kelvin.v file that can be used to update hw/matcha
+# This generates the kelvin.sv file that can be used to update hw/matcha
 kelvin_hw_verilog: | $(KELVIN_HW_BAZEL_OUT_DIR)
 	cd "$(KELVIN_HW_SRC_DIR)" && \
 		bazel clean --expunge && \
 			bazel build //hdl/chisel:matcha_kelvin_verilog && \
-		cp -rf bazel-bin/hdl/chisel/kelvin.v "$(KELVIN_HW_BAZEL_OUT_DIR)"
+		cp -rf bazel-bin/hdl/chisel/kelvin.sv "$(KELVIN_HW_BAZEL_OUT_DIR)"
 
 ## Verilated Kelvin HW simulator
 kelvin_hw_sim: | $(KELVIN_HW_BAZEL_OUT_DIR)