Efficient verification of VLSI circuits based on syntax and denotational semantics

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