Verification of In-Memory Logic Design Using ReRAM Crossbars

@inproceedings{pub13241,
    author = {

Datta, Kamalika
 and 

Deb, Arighna
 and 

Shirinzadeh, Fatemeh
 and 

Kole, Abhoy
 and 

Shirinzadeh, Saeideh
 and 

Drechsler, Rolf
},
    title = {Verification of In-Memory Logic Design Using ReRAM Crossbars},
    booktitle = {21st IEEE Interregional NEWCAS Conference. IEEE Interregional NEWCAS Conference (NEWCAS-2023), June 26-28, Edinburgh, United Kingdom},
    year = {2023}
}