Skip to main content Skip to main navigation

Publication

Polynomial Formal Verification of Prefix Adders

Alireza Mahzoon; Rolf Drechsler
In: 30th International Workshop on Logic & Synthesis. International Workshop on Logic & Synthesis (IWLS-2021), July 19-22, Virtual, 2021.