Automatic structural abstraction techniques for enhanced verification
| Title: | Automatic structural abstraction techniques for enhanced verification |
| Author: | Baumgartner, Jason Raymond |
| Abstract: | Not available |
| Department: | Electrical and Computer Engineering |
| Subject: |
Integrated circuits--Verification
Computer-aided design |
| URI: | http://hdl.handle.net/2152/11263 |
| Date: | 2002-12 |
Files in this work
This work appears in the following Collection(s)
-
UT Electronic Theses and Dissertations
ETD is a collection of UT Austin authored electronic dissertations.