veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory

@inproceedings{pub16008,
    author = {

Jha, Chandan
 and 

Singh, Simranjeet
 and 

Qayyum, Khushboo
 and 

Bende, Ankit
 and 

Hassan, Muhammad
 and 

Rana, Vikas
 and 

Merchant, Farhad
 and 

Drechsler, Rolf
},
    title = {veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory},
    booktitle = {34th International Workshop on Logic & Synthesis (IWLS). International Workshop on Logic & Synthesis (IWLS-2025), June 12-13, Verona, Italy
},
    year = {2025}
}