Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability.

Alireza Mahzoon, Daniel Groe, Christoph Scholl, Alexander Konrad, Rolf Drechsler

Browse the full DAC paper archive.