Multi-Input MAGIC Synthesis and Verification for In-Memory Computing Design

@inproceedings{pub15786,
    author = {

Nabipour, Saeideh
 and 

Datta, Kamalika
 and 

Weingarten, Lennart
 and 

Kole, Abhoy
 and 

Drechsler, Rolf
},
    title = {Multi-Input MAGIC Synthesis and Verification for In-Memory Computing Design},
    booktitle = {IEEE International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2025), June 5-6, Montreal, Canada},
    year = {2025}
}