Polynomial Formal Verification of Multi-Valued Approximate Circuits within Constant Cutwidth

@article{pub15604,
    author = {

Nadeem, Mohamed
 and 

Jha, Chandan
 and 

Drechsler, Rolf
},
    title = {Polynomial Formal Verification of Multi-Valued Approximate Circuits within Constant Cutwidth},
    year = {2025},
    journal = {IEEE Transactions on Circuits and Systems I: Regular Papers},
    publisher = {IEEE}
}