Maciej J. Ciesielski. Formal Methods in Arithmetic Circuit Verification: A Brief History and Look into the Future. In 26th Euromicro Conference on Digital System Design, DSD 2023, Golem, Albania, September 6-8, 2023. IEEE, 2023. [doi]
Abstract is missing.