From b23e01c2a13f67d9bd13c8ce70be8ad61f928f37 Mon Sep 17 00:00:00 2001 From: Gus Smith Date: Tue, 13 Jan 2026 09:53:09 -0800 Subject: [PATCH] Fix comment --- tests/staged_sim_and_verif/Req_Ack.sv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/staged_sim_and_verif/Req_Ack.sv b/tests/staged_sim_and_verif/Req_Ack.sv index a0ea09f..52e38aa 100644 --- a/tests/staged_sim_and_verif/Req_Ack.sv +++ b/tests/staged_sim_and_verif/Req_Ack.sv @@ -67,7 +67,7 @@ module DUT ( phase3a_cover_ack: cover(ack); end - // Assert the second ack arrives within a bounded window after beginning + // Assert the third ack arrives within a bounded window after beginning // phase 3, and furthermore after that point no further acks arrive. property p_acks_seen_hits_3_and_stays; @(posedge clk) ##[0:8] $rose(acks_seen == 3) ##1 (acks_seen == 3)[*0:$];