#GLSVLSI2024 - our paper presented at Great Lakes Symposium on VLSI 2024 on "Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification" is now available #online dl.acm.org/doi/10.1145/... #LogicInMemory #Verification @unibremen.bsky.social @dsc-ub.bsky.social