Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization.

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

Browse the full FMCAD paper archive.