Correct and Verify - CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders with Correct Carry Bits

@article{pub15465,
    author = {

Jha, Chandan Kumar
 and 

Qayyum, Khushboo
 and 

Hassan, Muhammad
 and 

Drechsler, Rolf
},
    title = {Correct and Verify - CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders with Correct Carry Bits},
    year = {2024},
    journal = {IEEE Transactions on Circuits and Systems I: Regular Papers},
    publisher = {IEEE}
}