Derek Lee Beatty A Methodology for Formal Hardware Verification, with Applications to Microprocessors Degree Type: Ph.D. in Computer Science Advisor(s): Randal Bryant Graduated: December 1993 Abstract Currently Unavailable Thesis Document Currently Unavailable Electronically Return to Degrees List Thesis Repositories SCS Technical Reports Kilthub Proquest (requires CMU login)
