Modeling Data in Formal Verification Bits , Bit Vectors, or Words
Modeling Data in Formal Verification Bits, Bit Vectors, or Words