Polynomial Formal Verification of Complex Multipliers

@inproceedings{pub12263,
    author = {

Mahzoon, Alireza
 and 

Drechsler, Rolf
},
    title = {Polynomial Formal Verification of Complex Multipliers},
    booktitle = {25. Workshop 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-2022), February 17-18, virtual},
    year = {2022}
}