Formal multilevel hierarchical verification of synchronous MOS VLSI circuits /

Bibliographic Details
Main Author: Weise, Daniel
Corporate Author: Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science
Format: Thesis Book
Language:English
Published: c1986

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number: THESIS Thesis E.E. 1986 Ph.D.