Login / Signup
Dynamic Variable Ordering during Algebraic Backward Rewriting for Formal Verification of Multipliers.
Jitendra Kumar
Asutosh 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