Recurrence Relations Revisited: Scalable Verification of Bit Level Multiplier Circuits

@inproceedings{pub7797,
    author = {

Ahmed, Amr Sayed
 and 

Kühne, Ulrich
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {Recurrence Relations Revisited: Scalable Verification of Bit Level Multiplier Circuits},
    booktitle = {IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2015). IEEE Computer Society Annual Symposium on VLSI (ISVLSI), July 8-10, Montpellier, France},
    year = {2015}
}