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

Jitendra Kumar, Asutosh Srivastava

Browse the full VLSID paper archive.