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

@inproceedings{pub12638,
    author = {

Konrad, Alexander
 and 

Scholl, Christoph
 and 

Mahzoon, Alireza
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization},
    booktitle = {Formal Methods in Computer-Aided Design (FMCAD). Formal Methods in Computer-Aided Design (FMCAD), October 17-21, Trento, Italy},
    year = {2022}
}