Explicitly unsigned states (in the vain hope of improving extraction)

3 files changed, 3 insertions, 3 deletions

diff --git a/hdl/command_parser.sv b/hdl/command_parser.sv
index 6ab57b7..39e03db 100644
--- a/hdl/command_parser.sv
+++ b/hdl/command_parser.sv
@@ -20,7 +20,7 @@ module command_parser
     bit         input_byte_valid;
     bit [7:0]   input_byte;
 
-    (* syn_encoding = "one-hot" *) enum
+    (* syn_encoding = "one-hot" *) enum int unsigned
         {   READ_ADDRESS_OR_COMMAND
         ,   READ_DATA_1
         ,   READ_DATA_2
diff --git a/hdl/ram_controller.sv b/hdl/ram_controller.sv
index 0789cac..5950035 100644
--- a/hdl/ram_controller.sv
+++ b/hdl/ram_controller.sv
@@ -33,7 +33,7 @@ module ram_controller
 
     bit         slow;
 
-    (* syn_encoding = "one-hot" *) enum
+    (* syn_encoding = "one-hot" *) enum int unsigned
         {   CHIP_SELECT
 
         ,   SEND_COMMAND_1
diff --git a/hdl/result_printer.sv b/hdl/result_printer.sv
index e873d33..93a3a39 100644
--- a/hdl/result_printer.sv
+++ b/hdl/result_printer.sv
@@ -14,7 +14,7 @@ module result_printer
     bit         hold_valid;
     bit [15:0]  hold;
 
-    (* syn_encoding = "one-hot" *) enum
+    (* syn_encoding = "one-hot" *) enum int unsigned
         {   DIGIT_1
         ,   DIGIT_2
         ,   DIGIT_3