From e2d92c92aa2bcc921f81875c9cee434ed390f29b Mon Sep 17 00:00:00 2001
From: Julian Blake Kongslie
Date: Fri, 18 Feb 2022 16:21:32 -0800
Subject: Explicitly unsigned states (in the vain hope of improving extraction)

---
 hdl/command_parser.sv | 2 +-
 hdl/ram_controller.sv | 2 +-
 hdl/result_printer.sv | 2 +-
 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
-- 
cgit v1.2.3