| dc.contributor | Aelten, Filip Van. | en_US |
| dc.date.accessioned | 2004-03-02T18:50:47Z | |
| dc.date.available | 2004-03-02T18:50:47Z | |
| dc.date.issued | 1989 | en_US |
| dc.identifier.other | no. 546 | en_US |
| dc.identifier.uri | http://hdl.handle.net/1721.1/4206 | |
| dc.description | Also issued as: Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1988. | en_US |
| dc.description | Includes bibliographical references (p. 139-141). | en_US |
| dc.description.sponsorship | Support provided by Analog Devices. | en_US |
| dc.description.statementofresponsibility | Filip Van Aelten. | en_US |
| dc.format.extent | 141 p. | en_US |
| dc.format.extent | 7071957 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | eng | en_US |
| dc.publisher | Research Laboratory of Electronics, Massachusetts Institute of Technology | en_US |
| dc.relation.ispartofseries | Technical report (Massachusetts Institute of Technology. Research Laboratory of Electronics) ; 546. | en_US |
| dc.subject.lcc | TK7855.M41 R43 no.546 | en_US |
| dc.title | Efficient verification of VLSI circuits based on syntax and denotational semantics | en_US |
| dc.type | Technical Report | |
| dc.contributor.department | Massachusetts Institute of Technology. Research Laboratory of Electronics | |
