Login / Signup

Dynamic Variable Ordering during Algebraic Backward Rewriting for Formal Verification of Multipliers.

Jitendra KumarAsutosh Srivastava
Published in: VLSID (2022)
Keyphrases
  • formal verification
  • variable ordering
  • model checking
  • symbolic model checking
  • model checker
  • bounded model checking
  • automated verification
  • branch and bound algorithm
  • conflict directed
  • evolutionary algorithm