Please use this identifier to cite or link to this item:
http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/4206| Title: | Efficient verification of VLSI circuits based on syntax and denotational semantics |
| Authors: | Aelten, Filip Van. |
| Keywords: | TK7855.M41 R43 no.546 |
| Issue Date: | 9-Oct-2013 |
| Publisher: | Research Laboratory of Electronics, Massachusetts Institute of Technology |
| Description: | 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. |
| URI: | http://koha.mediu.edu.my:8181/xmlui/handle/1721 |
| Other Identifiers: | no. 546 http://hdl.handle.net/1721.1/4206 |
| Appears in Collections: | MIT Items |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.