Sciweavers

93

Voted

CAV
1990
Springer

114views Hardware» more CAV 1990»

Formal Verification of Digital Circuits Using Symbolic Ternary System Models

15 years 6 months ago

Formal Verification of Digital Circuits Using Symbolic Ternary System Models

Download www.cs.cmu.edu

Ternary system modeling involves extending the traditional set of binary values

Randal E. Bryant, Carl-Johan H. Seger

claim paper

Read More »