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

@inproceedings{pub11324,
    author = {

Scholl, Christoph
 and 

Konrad, Alexander
 and 

Mahzoon, Alireza
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization},
    booktitle = {Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021), February 1-5, Grenoble, France},
    year = {2021}
}