Farimah Farahmandi, Bijan Alizadeh, Zainalabedin Navabi. Effective Combination of Algebraic Techniques and Decision Diagrams to Formally Verify Large Arithmetic Circuits. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2014, Tampa, FL, USA, July 9-11, 2014. pages 338-343, IEEE, 2014. [doi]
@inproceedings{FarahmandiAN14,
title = {Effective Combination of Algebraic Techniques and Decision Diagrams to Formally Verify Large Arithmetic Circuits},
author = {Farimah Farahmandi and Bijan Alizadeh and Zainalabedin Navabi},
year = {2014},
doi = {10.1109/ISVLSI.2014.109},
url = {http://dx.doi.org/10.1109/ISVLSI.2014.109},
researchr = {https://researchr.org/publication/FarahmandiAN14},
cites = {0},
citedby = {0},
pages = {338-343},
booktitle = {IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2014, Tampa, FL, USA, July 9-11, 2014},
publisher = {IEEE},
}