dc.contributor | Bamji, Cyrus S. | en_US |
dc.date.accessioned | 2004-03-02T18:30:24Z | |
dc.date.available | 2004-03-02T18:30:24Z | |
dc.date.issued | 1989 | en_US |
dc.identifier.other | no. 547 | en_US |
dc.identifier.uri | http://hdl.handle.net/1721.1/4205 | |
dc.description | Includes bibliographical references (p. 199-202). | en_US |
dc.description.sponsorship | Work supported by the Air Force Office of Scientific Research. AFSOR 86-0164 Work supported by IBM and Analog Devices. | en_US |
dc.description.statementofresponsibility | Cyrus S. Bamji. | en_US |
dc.format.extent | 202 p. | en_US |
dc.format.extent | 12241617 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) ; 547. | en_US |
dc.subject.lcc | TK7855.M41 R43 no.547 | en_US |
dc.title | Graph-based representations and coupled verification of VLSI schematics and layouts | en_US |