Formal Verification of Digital Circuits Using Symbolic Ternary System Models (0)
by
Randal E. Bryant
,
Carl-Johan H. Seger
| Citations: | 22 - 6 self |
BibTeX
@INPROCEEDINGS{Bryant_formalverification,
author = {Randal E. Bryant and Carl-Johan H. Seger},
title = {Formal Verification of Digital Circuits Using Symbolic Ternary System Models},
booktitle = {},
year = {},
pages = {121--146},
publisher = {American Mathematical Society}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Ternary system modeling involves extending the traditional set of binary values f0; 1g with a third value X indicating an unknown or indeterminate condition. By making this extension, we can model a wider range of circuit phenomena. We can also efficiently verify sequential circuits in which the effect of a given operation depends on only a subset of the total system state.
