Atif Yasin, Tiankai Su, Sébastien Pillement, Maciej J. Ciesielski. SPEAR: Hardware-based Implicit Rewriting for Square-root Circuit Verification. In 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020. pages 532-537, IEEE, 2020. [doi]
@inproceedings{YasinSPC20,
title = {SPEAR: Hardware-based Implicit Rewriting for Square-root Circuit Verification},
author = {Atif Yasin and Tiankai Su and Sébastien Pillement and Maciej J. Ciesielski},
year = {2020},
doi = {10.23919/DATE48585.2020.9116194},
url = {https://doi.org/10.23919/DATE48585.2020.9116194},
researchr = {https://researchr.org/publication/YasinSPC20},
cites = {0},
citedby = {0},
pages = {532-537},
booktitle = {2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020},
publisher = {IEEE},
isbn = {978-3-9819263-4-7},
}