Abstract | ||
---|---|---|
. We introduce the notion of self-consistency checking, a newmethodology for applying formal methods in the debugging process. Intuitively,self-consistency checks functional consistency of a circuit intwo different modes or environments. Self-consistency can (1) simplifyproperty verification and (2) enable the use of symbolic simulation inthe absence of a concrete specification. We present a correctness modelfor property verification with self-consistency checking and the formalframework ... |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/BFb0031806 | FMCAD |
Keywords | Field | DocType |
self-consistency checking | Symbolic simulation,Computer science,Correctness,Register file,Theoretical computer science,Formal methods,Partial verification,Electronic circuit,Input function,Debugging | Conference |
ISBN | Citations | PageRank |
3-540-61937-2 | 13 | 1.67 |
References | Authors | |
7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Robert B. Jones | 1 | 434 | 39.17 |
Carl-Johan H. Seger | 2 | 750 | 90.27 |
David L. Dill | 3 | 12629 | 1293.07 |