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

Atif Yasin Tiankai Su Sébastien Pillement Maciej J. Ciesielski

Published in: DATE (2020)

Keyphrases

square root
circuit design
floating point
kalman filtering
euclidean space
image processing
probability density function
arrival rate
hardware description language
nearest neighbor
machine learning
computer vision
prior knowledge
query processing
state space