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]
Abstract is missing.