Automatic structural abstraction techniques for enhanced verification

View/Open

Restricted to EID users (1.053Mb)

Author

Baumgartner, Jason Raymond

Share

Metadata

Show full item record

Department

Electrical and Computer Engineering

Description

text

Subject(s)

Integrated circuits--Verification
Computer-aided design

Citable URI

http://hdl.handle.net/2152/11263

Collections

UT Electronic Theses and Dissertations