Spectral approach to verifying non-linear arithmetic circuits - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Cunxi Yu' in GoogleThis author has not been identified. Look up 'Tiankai Su' in GoogleThis author has not been identified. Look up 'Atif Yasin' in GoogleThis author has not been identified. Look up 'Maciej J. Ciesielski' in Google

runs on WebDSL