Login / Signup

Formal Approach for Verifying Galois Field Arithmetic Circuits of Higher Degrees.

Rei UenoNaofumi HommaYukihiro SugawaraTakafumi 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