Vidura Wijayasekara, Sudarshan K. Srinivasan, Scott C. Smith. Equivalence verification for NULL Convention Logic (NCL) circuits. In 32nd IEEE International Conference on Computer Design, ICCD 2014, Seoul, South Korea, October 19-22, 2014. pages 195-201, IEEE, 2014. [doi]
@inproceedings{WijayasekaraSS14,
title = {Equivalence verification for NULL Convention Logic (NCL) circuits},
author = {Vidura Wijayasekara and Sudarshan K. Srinivasan and Scott C. Smith},
year = {2014},
doi = {10.1109/ICCD.2014.6974681},
url = {http://dx.doi.org/10.1109/ICCD.2014.6974681},
researchr = {https://researchr.org/publication/WijayasekaraSS14},
cites = {0},
citedby = {0},
pages = {195-201},
booktitle = {32nd IEEE International Conference on Computer Design, ICCD 2014, Seoul, South Korea, October 19-22, 2014},
publisher = {IEEE},
isbn = {978-1-4799-6492-5},
}