mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-02-22 03:07:38 +00:00
Code Activity

Fix comment

Browse source
This commit is contained in:
Gus Smith 2026-01-13 09:53:09 -08:00
parent 022323bd71
commit b23e01c2a1
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/staged_sim_and_verif/Req_Ack.sv
View file

@ -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:$];