Aarti Gupta

Thesis Title: 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