Bitwise toggle coverage for a bitvector

In reply to shalom:

Use generate + cover property (SVA) to get this easily done.

Ajeetha, CVC