Carnegie Mellon University Symbolic, Word-Level Hardware Verification bryant Randal E. Bryant Contributions by graduate students: