Enlarge

Trace theory for automatic hierarchical verification of speed-independent circuits

David L. Dill

Publication Data

Title Trace theory for automatic hierarchical verification of speed-independent circuits
Author David L. Dill
Publisher MIT Press
Publication date 1989
Language English

Topics

Switching circuits
Integrated circuits :: Very large scale integration
Sequential machine theory
012301901

Catalogue Data

OBNB ID GB9034738
ISBN 10 0262041014
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 621.395

ISBD

P1053 163p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Trace theory for automatic hierarchical verification of speed-independent circuits by David L. Dill. ISBN 0262041014. Published by MIT Press in 1989. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.