Aarti Gupta Inductive Boolean Function Manipulation: A Hardware Verification Methodology for Automatic Induction Degree Type: Ph.D. in Computer Science Advisor(s): Allan Fisher Graduated: December 1994