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

@article{pub16009,
    author = {

Jha, Chandan
 and 

Singh, Simranjeet
 and 

Qayyum, Khushboo
 and 

Bende, Ankit
 and 

Hassan, Muhammad
 and 

Rana, Vikas
 and 

Merchant, Farhad
 and 

Drechsler, Rolf
},
    editor = {

Systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and
},
    title = {veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory},
    year = {2025},
    pages = {1--1},
    journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)},
    publisher = {IEEE}
}