Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization.

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

Browse the full DATE paper archive.