The R2 Report for Internet Compliance
Bit Vector Decision Procedures A Basis for Reasoning about Hardware & Software bryant Randal E. Bryant Carnegie Mellon University.
Modeling Data in Formal Verification Bits, Bit Vectors, or Words