Trace theory for automatic hierarchical verification of speed-independent circuits /
Dill, David L.
Cambridge, Mass. ; London : MIT Press,
1989.
Includes index.
Bibliography: p.
Switching circuits.
Integrated circuits
Sequential machine theory.