Improving and extending the algebraic approach for verifying gate-level multipliers.

Daniela Ritirc, Armin Biere, Manuel Kauers

Browse the full DATE paper archive.