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

Khushboo Qayyum, Abhoy Kole, Kamalika Datta, Muhammad Hassan 0002, Rolf Drechsler. Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification. In Inna Partin-Vaisband, Srinivas Katkoori, Lu Peng 0001, Boris Vaisband, Tooraj Nikoubin, editors, Proceedings of the Great Lakes Symposium on VLSI 2024, GLSVLSI 2024, Clearwater, FL, USA, June 12-14, 2024. pages 502-506, ACM, 2024. [doi]