Formal Verification of Error Bounds for Resistive-Switching-based Multilevel Matrix-Vector Multipliers

@inproceedings{pub15790,
    author = {

Coşkun, Kemal Çağlar
 and 

Jha, Chandan
 and 

Hassan, Muhammad
 and 

Drechsler, Rolf
},
    title = {Formal Verification of Error Bounds for Resistive-Switching-based Multilevel Matrix-Vector Multipliers},
    booktitle = {26th International Symposium on Quality Electronic Design (ISQED'25). International Symposium on Quality Electronic Design (ISQED-2025), April 23-25, San Francisco, United States},
    year = {2025}
}