Arash Saifhashemi, Hsin-Ho Huang, Priyanka Bhalerao, Peter A. Beerel. Logical equivalence checking of asynchronous circuits using commercial tools. In Wolfgang Nebel, David Atienza, editors, Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015. pages 1563-1566, ACM, 2015. [doi]
@inproceedings{SaifhashemiHBB15, title = {Logical equivalence checking of asynchronous circuits using commercial tools}, author = {Arash Saifhashemi and Hsin-Ho Huang and Priyanka Bhalerao and Peter A. Beerel}, year = {2015}, url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=7092639}, researchr = {https://researchr.org/publication/SaifhashemiHBB15}, cites = {0}, citedby = {0}, pages = {1563-1566}, booktitle = {Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015}, editor = {Wolfgang Nebel and David Atienza}, publisher = {ACM}, isbn = {978-3-9815370-4-8}, }