Towards Formal Verification for MAC-based In-Memory Computing

@inproceedings{pub15597,
    author = {

Shirinzadeh, Fatemeh
 and 

Datta, Kamalika
 and 

Shirinzadeh, Saeideh
 and 

Kole, Abhoy
 and 

Drechsler, Rolf
},
    title = {Towards Formal Verification for MAC-based In-Memory Computing},
    booktitle = {33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India},
    year = {2024}
}