#ISQED2025 - our paper presented at the 26th International Symposium on Quality Electronic Design on "Formal Verification of Error Bounds for Resistive-Switching-Based Multilevel Matrix-Vector Multipliers" is available #online at #Xplore ieeexplore.ieee.org/document/110... @ieeexplore.bsky.social

#ISQED2025 - our paper on "Formal Verification of Error Bounds for Resistive-Switching-based Multilevel Matrix-Vector Multipliers" will be presented at The 26th International Symposium on Quality Electronic Design in #SanFrancisco www.isqed.org/English/Conf... @unibremen.bsky.social #verification