Login / Signup

Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry.

Alexey LvovLuis Alfonso Lastras-MontañoBarry M. TragerViresh ParuthiRobert ShadowenAli El-Zein
Published in: Formal Methods Syst. Des. (2014)
Keyphrases
  • algebraic geometry
  • galois field
  • knowledge base
  • cellular automata
  • model checking
  • polynomial equations
  • neural network
  • decision making
  • knowledge representation
  • mathematical programming
  • set theory