We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Efficient verification of VLSI circuits based on syntax and denotational semantics

Thumbnail Image
Download
Name

RLE-TR-546-20539715.pdf

Size

6.74 MB

Format

Adobe PDF

Checksum (MD5)

6af55c156f8a316d3cd042233d320f65

Date Issued
1989
Publisher
Research Laboratory of Electronics, Massachusetts Institute of Technology
Series/Report no.
Technical report (Massachusetts Institute of Technology. Research Laboratory of Electronics) ; 546.
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).
MIT Department
Massachusetts Institute of Technology. Research Laboratory of Electronics
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.