Trace theory for automatic hierarchical verification of speed-independent circuits /

Bibliographic Details
Main Author:	Dill, David L.
Format:	eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, ©1989.
Series:	ACM distinguished dissertations
Subjects:	Switching circuits. Integrated circuits > Very large scale integration. Sequential machine theory. Integrated circuits > Verification. 11030 > computers > p1030 > integrated circuits > large scale > very Electronic digital computers > Circuits Integrated circuits > Verification Integrated circuits > Very large scale integration Sequential machine theory Switching circuits COMPUTER SCIENCE/General Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online