Spectral approach to verifying non-linear arithmetic circuits.

Cunxi Yu, Tiankai Su, Atif Yasin, Maciej J. Ciesielski

Browse the full ASPDAC paper archive.