mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-06-04 12:20:50 +00:00
Code Activity

Remove req assertion; make assertion richer

Browse source
This commit is contained in:
Gus Smith 2025-12-29 12:14:09 -08:00
parent a41fdb6784
commit 0b88cdac90
1 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
tests/staged_sim_and_verif/Req_Ack.sv
View file

@ -61,9 +61,13 @@ module DUT (
phase2a_cover_ack: cover(ack); phase2a_cover_ack: cover(ack);
end 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 always @(posedge clk) begin
phase2b_assert_req_count: assert(reqs_seen <= 2); phase2b_assert_ack_stable: assert(acks_seen <= 2);
phase2b_assert_ack_count: assert(acks_seen <= 2);
end end