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

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]

The following publications are possibly variants of this publication:

Formal Verification of Constrained Arithmetic Circuits using Computer Algebraic ApproachTiankai Su, Atif Yasin, Sébastien Pillement, Maciej J. Ciesielski. isvlsi 2020: 386-391 [doi]

Rewriting Environment for Arithmetic Circuit VerificationCunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko, Maciej J. Ciesielski. lpar 2018: 656-666 [doi]

runs on WebDSL