[prim] quick path to prim_count assertion
- delay activation of check by 1 cycle to ensure it is not checked
immediately out of reset
Signed-off-by: Timothy Chen <timothytim@google.com>
diff --git a/hw/ip/prim/rtl/prim_count.sv b/hw/ip/prim/rtl/prim_count.sv
index 298cc77..1d5a06c 100644
--- a/hw/ip/prim/rtl/prim_count.sv
+++ b/hw/ip/prim/rtl/prim_count.sv
@@ -191,7 +191,7 @@
// 1). For duplicate counter, sets the `cnt_o` to `set_cnt_i`.
// 2). For cross up counter, sets the `max_value` to `set_cnt_i`.
// 3). For cross down counter, sets the `cnt_o` and `max_value` to `set_cnt_i`.
- `ASSERT(OutSet_A, set_i |=>
+ `ASSERT(OutSet_A, ##1 set_i |=>
(CntStyle == DupCnt || OutSelDnCnt) ? cnt_o == $past(set_cnt_i) : cnt_o == 0)
// This logic that will be assign to one, when user adds macro
