Automatic procedures for the behavioral verification of digital designs

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1992. === Includes bibliographical references (leaves 117-122). === by Filip Van Aelten. === Ph.D.

Bibliographic Details
Main Author:	Aelten, Filip Van
Other Authors:	Srinivas Devadas.
Format:	Others
Language:	English
Published:	Massachusetts Institute of Technology 2005
Subjects:	Electrical Engineering and Computer Science
Online Access:	http://hdl.handle.net/1721.1/12826

id	ndltd-MIT-oai-dspace.mit.edu-1721.1-12826
record_format	oai_dc
spelling	ndltd-MIT-oai-dspace.mit.edu-1721.1-128262019-05-02T16:21:49Z Automatic procedures for the behavioral verification of digital designs Aelten, Filip Van Srinivas Devadas. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science Electrical Engineering and Computer Science Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1992. Includes bibliographical references (leaves 117-122). by Filip Van Aelten. Ph.D. 2005-08-15T19:01:35Z 2005-08-15T19:01:35Z 1992 1992 Thesis http://hdl.handle.net/1721.1/12826 27558421 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 122 leaves 8322276 bytes 8322036 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology
collection	NDLTD
language	English
format	Others
sources	NDLTD
topic	Electrical Engineering and Computer Science
spellingShingle	Electrical Engineering and Computer Science Aelten, Filip Van Automatic procedures for the behavioral verification of digital designs
description	Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1992. === Includes bibliographical references (leaves 117-122). === by Filip Van Aelten. === Ph.D.
author2	Srinivas Devadas.
author_facet	Srinivas Devadas. Aelten, Filip Van
author	Aelten, Filip Van
author_sort	Aelten, Filip Van
title	Automatic procedures for the behavioral verification of digital designs
title_short	Automatic procedures for the behavioral verification of digital designs
title_full	Automatic procedures for the behavioral verification of digital designs
title_fullStr	Automatic procedures for the behavioral verification of digital designs
title_full_unstemmed	Automatic procedures for the behavioral verification of digital designs
title_sort	automatic procedures for the behavioral verification of digital designs
publisher	Massachusetts Institute of Technology
publishDate	2005
url	http://hdl.handle.net/1721.1/12826
work_keys_str_mv	AT aeltenfilipvan automaticproceduresforthebehavioralverificationofdigitaldesigns
_version_	1719039240650620928

Automatic procedures for the behavioral verification of digital designs

Similar Items