Automated Formal Verification Methodology for MAGIC Design Style Based In-Memory Computing

@inproceedings{pub13312,
    author = {

Jha, Chandan Kumar
 and 

Qayyum, Khushboo
 and 

Coskun, Kemal Caglar
 and 

Singh, Simranjeet
 and 

Hassan, Muhammad
 and 

Leupers, Rainer
 and 

Merchant, Farhad
 and 

Drechsler, Rolf
},
    title = {Automated Formal Verification Methodology for MAGIC Design Style Based In-Memory Computing},
    booktitle = {32nd International Workshop on Logic & Synthesis. International Workshop on Logic & Synthesis (IWLS-2023), 32nd, June 5-6, Lausanne, Switzerland},
    year = {2023}
}