Skip to main content Skip to main navigation

Publication

Polynomial Formal Verification of Floating Point Adders

Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler
In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.