From e904e88fc9716a589cca880c1feb5b105c2ee7d3 Mon Sep 17 00:00:00 2001 From: Gus Smith Date: Mon, 15 Dec 2025 17:36:36 -0800 Subject: [PATCH] Use labels to be more like SCY --- tests/staged_sim_and_verif/Req_Ack.sv | 9 +++------ tests/staged_sim_and_verif/skip_staged_flow.sby | 12 ++++++------ 2 files changed, 9 insertions(+), 12 deletions(-) diff --git a/tests/staged_sim_and_verif/Req_Ack.sv b/tests/staged_sim_and_verif/Req_Ack.sv index b708caa..7886261 100644 --- a/tests/staged_sim_and_verif/Req_Ack.sv +++ b/tests/staged_sim_and_verif/Req_Ack.sv @@ -44,19 +44,16 @@ module DUT ( // occurs. This leaves us in a state where we're waiting for the second // ack. always @(posedge clk) begin - (* phase = "1" *) - cover(reqs_seen == 2); + phase1_reqs_seen: cover(reqs_seen == 2); end // In phase 2, assume that there's no more reqs; despite this, assert // that an ack will eventually come for the second req. always @ (posedge clk) begin - (* phase = "2" *) - assume(!req); + phase2_no_new_req: assume(!req); end always @(posedge clk) begin - (* phase = "2" *) - cover(ack); + phase2_ack_eventually: cover(ack); end diff --git a/tests/staged_sim_and_verif/skip_staged_flow.sby b/tests/staged_sim_and_verif/skip_staged_flow.sby index 505115c..f55a331 100644 --- a/tests/staged_sim_and_verif/skip_staged_flow.sby +++ b/tests/staged_sim_and_verif/skip_staged_flow.sby @@ -25,9 +25,9 @@ hierarchy -top DUT stage_1_fv: read_rtlil design_prep.il -# This selection computes (all things with phase)-(all things with phase=1) -# to remove all phased SVA constructs not intended for phase 1. -select */a:phase */a:phase=1 %d +# This selection computes (all phase-labeled things) - (all phase-1-labeled +# things) to remove all phase-tagged SVA constructs not intended for phase 1. +select */c:phase* */c:phase1_* %d delete stage_2_init: @@ -36,9 +36,9 @@ sim -a -w -scope DUT -r trace0.yw stage_2_fv: read_rtlil design_prep.il -# This selection computes (all things with phase)-(all things with phase=2) -# to remove all phased SVA constructs not intended for phase 2. -select */a:phase */a:phase=2 %d +# This selection computes (all phase-labeled things) - (all phase-2-labeled +# things) to remove all phase-tagged SVA constructs not intended for phase 2. +select */c:phase* */c:phase2_* %d delete --