Efficient verification of VLSI circuits based on syntax and denotational semantics

Author(s)
Aelten, Filip Van.
Thumbnail
DownloadRLE-TR-546-20539715.pdf (6.744Mb)
Metadata
Show full item record
Description
Also issued as: Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1988.
 
Includes bibliographical references (p. 139-141).
 
Date issued
1989
URI
http://hdl.handle.net/1721.1/4206
Publisher
Research Laboratory of Electronics, Massachusetts Institute of Technology
Other identifiers
no. 546
Series/Report no.
Technical report (Massachusetts Institute of Technology. Research Laboratory of Electronics) ; 546.
Collections