Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification

@inproceedings{pub14866,
    author = {

Qayyum, Khushboo
 and 

Kole, Abhoy
 and 

Datta, Kamalika
 and 

Hassan, Muhammad
 and 

Drechsler, Rolf
},
    title = {Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification},
    booktitle = {34th Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2024), June 12-14, Tampa Bay Area, United States},
    year = {2024},
    publisher = {o.A}
}