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

@inproceedings{pub13290,
    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 = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2023), March 23-24, Freiburg, Germany},
    year = {2023}
}