Cunxi Yu, Tiankai Su, Atif Yasin, Maciej J. Ciesielski. Spectral approach to verifying non-linear arithmetic circuits. In Toshiyuki Shibuya, editor, Proceedings of the 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019, Tokyo, Japan, January 21-24, 2019. pages 261-267, ACM, 2019. [doi]
@inproceedings{YuSYC19,
title = {Spectral approach to verifying non-linear arithmetic circuits},
author = {Cunxi Yu and Tiankai Su and Atif Yasin and Maciej J. Ciesielski},
year = {2019},
doi = {10.1145/3287624.3287662},
url = {https://doi.org/10.1145/3287624.3287662},
researchr = {https://researchr.org/publication/YuSYC19},
cites = {0},
citedby = {0},
pages = {261-267},
booktitle = {Proceedings of the 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019, Tokyo, Japan, January 21-24, 2019},
editor = {Toshiyuki Shibuya},
publisher = {ACM},
isbn = {978-1-4503-6007-4},
}