Cover Image

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

Show other versions (1)
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.
Description
Item Description:Includes index.
Physical Description:163 pages : illustrations ; 24 cm.
Bibliography:Bibliography: pages [153]-159.
ISBN:0262041014