In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures

@inproceedings{pub14518,
    author = {

Shirinzadeh, Fatemeh
 and 

Deb, Arighna
 and 

Shirinzadeh, Saeideh
 and 

Kole, Abhoy
 and 

Datta, Kamalika
 and 

Drechsler, Rolf
},
    title = {In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures},
    booktitle = {37th International Conference on VLSI Design (VLSID). International Conference on VLSI Design (VLSID-2024), Kolkata, India},
    year = {2024},
    month = {1}
}