Login / Signup

An Algebraic Approach to Verifying Galois-Field Arithmetic Circuits with Multiple-Valued Characteristics.

Akira ItoRei UenoNaofumi Homma
Published in: IEICE Trans. Inf. Syst. (2021)
Keyphrases
  • multiple valued
  • multiple valued logic
  • galois field
  • multi valued
  • boolean functions
  • file organization
  • cellular automata
  • continuous attributes
  • complex valued
  • model checking
  • relational databases
  • digital circuits