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: