Spectral Approach to Verifying Non-linear Arithmetic Circuits

Cunxi Yu, Tiankai Su, Atif Yasin +1

This paper presents a fast and effective computer algebraic method for analyzing and verifying non-linear integer arithmetic circuits using a novel algebraic spectral model. It int…