Automatic structural abstraction techniques for enhanced verification

Date

2002-12

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

text

Keywords

Integrated circuits--Verification, Computer-aided design

Citation

URI

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

Collections

University of Texas at Austin