Spectral approach to verifying non-linear arithmetic circuits

Cunxi Yu, Tiankai Su, Atif Yasin, Maciej J. Ciesielski. Spectral approach to verifying non-linear arithmetic circuits. In Toshiyuki Shibuya, editor, Proceedings of the 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019, Tokyo, Japan, January 21-24, 2019. pages 261-267, ACM, 2019. [doi]

Abstract

Abstract is missing.