Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits

Posted By: Free butterfly
Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits

Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits by John Dill
English | 1 Jan. 1989 | ISBN: 0262041014 | 172 Pages | PDF | 39 MB

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.