How to write assertion on the scenario, when only 4 bits is set as 1 at a time, the signal will be valid?

aasufi · September 13, 2021, 5:23pm

In reply to Ninana:

Your requirements are not clear. How can signal_a itself get asserted when signal_a itself is a 4-bit register? Please clarify.
It sounds more like you’re trying to generate some signal other than signal_a to know when all 4 bits are high? If so, you can just use the bitwise AND operator: &signal_a.