@inproceedings{yasin:hal-02380178,
TITLE = {SPEAR: Hardware-based Implicit Rewriting for Square-root Circuit Verification},
AUTHOR = {Yasin, Atif and Su, Tiankai and Pillement, S{\'e}bastien and Ciesielski, Maciej},
URL = {https://hal.science/hal-02380178},
BOOK
TITLE = {Design, Automation and Test in Europe Conference},
ADDRESS = {Grenoble, France},
SERIES = {DATE},
PAGES = {paper \#304},
YEAR = {2020},
MONTH = Mar, HAL_ID = {hal-02380178},
HAL_VERSION = {v1},
}