%0 Journal Article %1 journals/tcad/SarbisheiTAF09 %A Sarbishei, Omid %A Tabandeh, Mahmoud %A Alizadeh, Bijan %A Fujita, Masahiro %D 2009 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 5 %P 742-754 %T A Formal Approach for Debugging Arithmetic Circuits. %U http://dblp.uni-trier.de/db/journals/tcad/tcad28.html#SarbisheiTAF09 %V 28

@article{journals/tcad/SarbisheiTAF09, added-at = {2020-09-24T00:00:00.000+0200}, author = {Sarbishei, Omid and Tabandeh, Mahmoud and Alizadeh, Bijan and Fujita, Masahiro}, biburl = {https://www.bibsonomy.org/bibtex/2b7c016151a7485778bc970de2830690c/dblp}, ee = {https://doi.org/10.1109/TCAD.2009.2013998}, interhash = {d2ae18dcb631025bf158c8978bbb9427}, intrahash = {b7c016151a7485778bc970de2830690c}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 5, pages = {742-754}, timestamp = {2020-09-25T11:47:21.000+0200}, title = {A Formal Approach for Debugging Arithmetic Circuits.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad28.html#SarbisheiTAF09}, volume = 28, year = 2009 }