Login / Signup

Effective Formal Verification for Galois-field Arithmetic Circuits with Multiple-Valued Characteristics.

Akira ItoRei UenoNaofumi Homma
Published in: ISMVL (2020)
Keyphrases
  • multiple valued
  • formal verification
  • multi valued
  • galois field
  • multiple valued logic
  • file organization
  • model checking
  • boolean functions
  • cellular automata
  • neural network
  • artificial intelligence
  • fixed point