Trace theory for automatic hierarchical verification of speed-independent circuits

Trace theory for automatic hierarchical verification of speed-independent circuits / David L. Dill.

"Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits. He describes a formal model of circuit operation, defines the proper relationship betwe...

Full description

Saved in:
Bibliographic Details
Main Author: Dill, David L.
Format: eBook
Language:English
Published: Cambridge, Mass. : MIT Press, ©1989.
Series:ACM distinguished dissertations.
Subjects:
Switching circuits.
Integrated circuits > Very large scale integration.
Sequential machine theory.
Integrated circuits > Verification.
Integrated circuits > Verification
Integrated circuits > Very large scale integration
Sequential machine theory
Switching circuits
Asynchrones Schaltwerk
Computerarchitektur
Hardwareverifikation
Integrierte Schaltung
Geschwindigkeitsunabhängigkeit.
Online Access:Click for online access
Login for hold information

‌

Click for online access

Online

Holdings details from Online
Available

Similar Items