Description: 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.
Brief description: David L. Dill received his doctorate from Carnegie Mellon University and is Assistant Professor in the Computer Science Department at Stanford University.