Trace Theory For Automatic Hierarchical Verification Of Speed-independent Circuits
by John Dill /
2017 / English / PDF
39.8 MB Download
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 between an implementation and its specification, and constructs a computer program that can check this relationship.