diff --git a/fpga/generator/wally.tcl b/fpga/generator/wally.tcl
index bad9981df..119f50326 100644
--- a/fpga/generator/wally.tcl
+++ b/fpga/generator/wally.tcl
@@ -17,7 +17,7 @@ read_verilog -sv  ../src/CopiedFiles_do_not_add_to_repo/cvw.sv
 read_verilog -sv  ../src/wallypipelinedsocwrapper.sv
 # then read top level
 if {$board=="ArtyA7"} {
-    read_verilog  {../src/fpgaTopArtyA7.v}
+    read_verilog  {../src/fpgaTopArtyA7.sv}
 } else {
     read_verilog  {../src/fpgaTop.v}
 }
diff --git a/fpga/src/fpgaTopArtyA7.v b/fpga/src/fpgaTopArtyA7.sv
similarity index 100%
rename from fpga/src/fpgaTopArtyA7.v
rename to fpga/src/fpgaTopArtyA7.sv