Login / Signup
Formal verification of error correcting circuits using computational algebraic geometry.
Alexey Lvov
Luis Alfonso Lastras-Montaño
Viresh Paruthi
Robert Shadowen
Ali El-Zein
Published in:
FMCAD (2012)
Keyphrases
</>
formal verification
error correcting
algebraic geometry
model checking
error correction
error detection
error resilience
classification algorithm
set theory
image processing
fault tolerant