Return to search

Efficient verification of VLSI circuits based on syntax and denotational semantics

Filip Van Aelten. / Also issued as: Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1988. / Includes bibliographical references (p. 139-141). / Support provided by Analog Devices.

Identiferoai:union.ndltd.org:MIT/oai:dspace.mit.edu:1721.1/4206
Date January 1989
ContributorsAelten, Filip Van.
PublisherResearch Laboratory of Electronics, Massachusetts Institute of Technology
Source SetsM.I.T. Theses and Dissertation
LanguageEnglish
Detected LanguageEnglish
Format141 p., 7071957 bytes, application/pdf
RelationTechnical report (Massachusetts Institute of Technology. Research Laboratory of Electronics) ; 546.

Page generated in 0.0015 seconds