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

Bibliographic Details
Main Author:	Dill, David L.
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, [1989]
Series:	ACM distinguished dissertations.
Subjects:	Switching circuits. Integrated circuits > Very large scale integration. Sequential machine theory.

Remote Storage