From 0b88cdac90ecbd8de408ad3e5e663f893d2af181 Mon Sep 17 00:00:00 2001
From: Gus Smith <guscomps@gmail.com>
Date: Mon, 29 Dec 2025 12:14:09 -0800
Subject: [PATCH] Remove req assertion; make assertion richer

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

diff --git a/tests/staged_sim_and_verif/Req_Ack.sv b/tests/staged_sim_and_verif/Req_Ack.sv
index 581e4b9..e1fd0e0 100644
--- a/tests/staged_sim_and_verif/Req_Ack.sv
+++ b/tests/staged_sim_and_verif/Req_Ack.sv
@@ -61,9 +61,13 @@ module DUT (
                 phase2a_cover_ack: cover(ack);
         end
 
+        // Assert the second ack arrives within a bounded window after the second
+        // request, and also that ack count never exceeds the expected two.
+        phase2b_assert_ack_reaches_two: assert property (@(posedge clk)
+                $rose(reqs_seen == 2) |-> ##[1:8] acks_seen == 2
+        );
         always @(posedge clk) begin
-                phase2b_assert_req_count: assert(reqs_seen <= 2);
-                phase2b_assert_ack_count: assert(acks_seen <= 2);
+                phase2b_assert_ack_stable: assert(acks_seen <= 2);
         end