From 5e6e984a67cb48f0c79a3e0ec9e0fc7b63c34a5f Mon Sep 17 00:00:00 2001
From: Gus Smith <guscomps@gmail.com>
Date: Wed, 21 Jan 2026 08:20:00 -0800
Subject: [PATCH] Fix bitwidths

---
 tests/staged_sim_and_verif/Req_Ack.sv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/staged_sim_and_verif/Req_Ack.sv b/tests/staged_sim_and_verif/Req_Ack.sv
index 52e38aa..c6bd496 100644
--- a/tests/staged_sim_and_verif/Req_Ack.sv
+++ b/tests/staged_sim_and_verif/Req_Ack.sv
@@ -6,8 +6,8 @@ module DUT (
 
 `ifdef FORMAL
 
-        logic [1:0] reqs_seen;
-        logic [1:0] acks_seen;
+        logic [31:0] reqs_seen;
+        logic [31:0] acks_seen;
         logic [31:0] cycle_count;
 
         // Deterministic initial state