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}
}