Trace theory for automatic hierarchical verification of speed-independent circuits
By: David L. Dill.
Series: ACM distinguished dissertations
Publisher: MIT Press
Published: 1989
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 163
Subjects: Switching circuits.; Integrated circuits -- Very large scale integration.; Sequential machine theory.; Integrated circuits -- Verification.
Notes: Bibliography: p. [153]-159.
Includes index.