Login / Signup

Efficient Gröbner basis reductions for formal verification of galois field multipliers.

Jinpeng LvPriyank KallaFlorian Enescu
Published in: DATE (2012)
Keyphrases
  • efficient implementation
  • formal verification
  • model checking
  • numerically stable
  • model checker
  • lightweight
  • efficient computation