SPEAR: Hardware-based Implicit Rewriting for Square-root Circuit Verification.

Atif Yasin, Tiankai Su, Sbastien Pillement, Maciej J. Ciesielski

Browse the full DATE paper archive.