Payman Behnam, Bijan Alizadeh, Sajjad Taheri, Masahiro Fujita. Formally analyzing fault tolerance in datapath designs using equivalence checking. In 21st Asia and South Pacific Design Automation Conference, ASP-DAC 2016, Macao, Macao, January 25-28, 2016. pages 133-138, IEEE, 2016. [doi]
@inproceedings{BehnamATF16, title = {Formally analyzing fault tolerance in datapath designs using equivalence checking}, author = {Payman Behnam and Bijan Alizadeh and Sajjad Taheri and Masahiro Fujita}, year = {2016}, doi = {10.1109/ASPDAC.2016.7428001}, url = {http://dx.doi.org/10.1109/ASPDAC.2016.7428001}, researchr = {https://researchr.org/publication/BehnamATF16}, cites = {0}, citedby = {0}, pages = {133-138}, booktitle = {21st Asia and South Pacific Design Automation Conference, ASP-DAC 2016, Macao, Macao, January 25-28, 2016}, publisher = {IEEE}, isbn = {978-1-4673-9569-4}, }