diff --git a/pipelined/src/ieu/controller.sv b/pipelined/src/ieu/controller.sv
index 8f3967576..646d87074 100644
--- a/pipelined/src/ieu/controller.sv
+++ b/pipelined/src/ieu/controller.sv
@@ -156,10 +156,13 @@ module controller(
       7'b1100011:   ControlsD = `CTRLW'b0_010_11_00_000_1_0_0_0_0_0_0_0_0_00_0; // branches
       7'b1100111:   ControlsD = `CTRLW'b1_000_01_00_000_0_0_1_1_0_0_0_0_0_00_0; // jalr
       7'b1101111:   ControlsD = `CTRLW'b1_011_11_00_000_0_0_1_1_0_0_0_0_0_00_0; // jal
-      7'b1110011: if (Funct3D == 3'b000)
+      7'b1110011: if (`ZICSR_SUPPORTED) begin
+                   if (Funct3D == 3'b000)
                     ControlsD = `CTRLW'b0_000_00_00_000_0_0_0_0_0_0_1_0_0_00_0; // privileged; decoded further in priveleged modules
-                  else
+                   else
                     ControlsD = `CTRLW'b1_000_00_00_010_0_0_0_0_0_1_0_0_0_00_0; // csrs
+                  end else
+                    ControlsD = `CTRLW'b0_000_00_00_000_0_0_0_0_0_0_0_0_0_00_1; // non-implemented instruction
       default:      ControlsD = `CTRLW'b0_000_00_00_000_0_0_0_0_0_0_0_0_0_00_1; // non-implemented instruction
     endcase
 
diff --git a/synthDC/Makefile b/synthDC/Makefile
index eecb952c6..4135eb193 100755
--- a/synthDC/Makefile
+++ b/synthDC/Makefile
@@ -7,7 +7,7 @@ NAME := synth
 export DESIGN ?= wallypipelinedcore
 export FREQ ?= 500
 export CONFIG ?= rv32e
-export TECH ?= 130
+export TECH ?= sky130
 
 time := $(shell date +%F-%H-%M)
 hash := $(shell git rev-parse --short HEAD)
diff --git a/synthDC/scripts/synth.tcl b/synthDC/scripts/synth.tcl
index 5b21e94e8..451e31574 100755
--- a/synthDC/scripts/synth.tcl
+++ b/synthDC/scripts/synth.tcl
@@ -160,7 +160,7 @@ redirect $filename {report_constraint -all_violators}
 redirect $outputDir/reports/check_design.rpt { check_design }
 
 # Report Final Netlist (Hierarchical)
-set filename [format "%s%s%s%s" $outputDir "/mapped/" $my_toplevel ".vh"]
+set filename [format "%s%s%s%s" $outputDir "/mapped/" $my_toplevel ".sv"]
 write_file -f verilog -hierarchy -output $filename
 
 set filename [format "%s%s%s%s" $outputDir "/mapped/" $my_toplevel ".sdc"]