Formal verification of sequential Galois field arithmetic circuits using algebraic geometry.

Xiaojun Sun Priyank Kalla Tim Pruss Florian Enescu

Published in: DATE (2015)

Keyphrases

formal verification
galois field
algebraic geometry
cellular automata
model checking
model checker
set theory
s box
bounded model checking
symbolic model checking
automated verification
polynomial equations
temporal logic
description logics
inference rules
formal methods