Automatic structural abstraction techniques for enhanced verification

Not available === text

Bibliographic Details
Main Author:	Baumgartner, Jason Raymond
Format:	Others
Language:	English
Published:	2011
Subjects:	Integrated circuits > Verification Computer-aided design
Online Access:	http://hdl.handle.net/2152/11263

id	ndltd-UTEXAS-oai-repositories.lib.utexas.edu-2152-11263
record_format	oai_dc
spelling	ndltd-UTEXAS-oai-repositories.lib.utexas.edu-2152-112632015-09-20T16:59:12ZAutomatic structural abstraction techniques for enhanced verificationBaumgartner, Jason RaymondIntegrated circuits--VerificationComputer-aided designNot availabletext2011-05-17T21:21:33Z2011-05-17T21:21:33Z2002-122011-05-17electronichttp://hdl.handle.net/2152/11263engCopyright is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works.Restricted
collection	NDLTD
language	English
format	Others
sources	NDLTD
topic	Integrated circuits--Verification Computer-aided design
spellingShingle	Integrated circuits--Verification Computer-aided design Baumgartner, Jason Raymond Automatic structural abstraction techniques for enhanced verification
description	Not available === text
author	Baumgartner, Jason Raymond
author_facet	Baumgartner, Jason Raymond
author_sort	Baumgartner, Jason Raymond
title	Automatic structural abstraction techniques for enhanced verification
title_short	Automatic structural abstraction techniques for enhanced verification
title_full	Automatic structural abstraction techniques for enhanced verification
title_fullStr	Automatic structural abstraction techniques for enhanced verification
title_full_unstemmed	Automatic structural abstraction techniques for enhanced verification
title_sort	automatic structural abstraction techniques for enhanced verification
publishDate	2011
url	http://hdl.handle.net/2152/11263
work_keys_str_mv	AT baumgartnerjasonraymond automaticstructuralabstractiontechniquesforenhancedverification
_version_	1716821425346576384

Automatic structural abstraction techniques for enhanced verification

Similar Items