Skip to main content Skip to main navigation

Publikation

Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders

Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler
In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, Germany, 2024.