Example usage,
a_mutex: assert final ($onehot0(bus_in));
Example usage,
a_mutex: assert final ($onehot0(bus_in));
In reply to Abhi_Ash:
assert final removes accidental failures from 0-delay glitches. That is verily likely to happen if one bit gets set before the other bit gets cleared.