Hi,
If I have a 4-bit signal [3:0]ready, how to add assertion for each bit or for each 2 bits depends on condition? Can I use for loop?
Bests,
In reply to May F.:
You can use a generate-for loop to instantiate multiple assertions. Is your condition a paramterized constant, or dynamic? It would help to explain the requirements in words first.
In reply to dave_59:
My condition is like ifdef ...elsif…`endif, this 4-bit signal would operate differently based on different condition, so that they are tied together or toggles individually.