Login / Signup
Formal Approach for Verifying Galois Field Arithmetic Circuits of Higher Degrees.
Rei Ueno
Naofumi Homma
Yukihiro Sugawara
Takafumi Aoki
Published in:
IEEE Trans. Computers (2017)
Keyphrases
</>
galois field
cellular automata
model checking
s box
high speed
formal model
formal specification
markov random field
formal methods
logic circuits
delay insensitive