Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders

@inproceedings{pub15213,
    author = {

Jha, Chandan Kumar
 and 

Qayyum, Khushboo
 and 

Hassan, Muhammad
 and 

Drechsler, Rolf
},
    title = {Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders},
    booktitle = {16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, Germany},
    year = {2024}
}