Linear Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures

@article{pub15602,
    author = {

Nadeem, Mohamed
 and 

Drechsler, Rolf
},
    title = {Linear Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures},
    year = {2025},
    volume = {09},
    journal = {Journal of Multiple-Valued Logic and Soft Computing},
    publisher = {Old City Publishing}
}