Rune Krauss, Mehran Goli, Rolf Drechsler. EDDY: A Multi-Core BDD Package with Dynamic Memory Management and Reduced Fragmentation. In Atsushi Takahashi 0001, editor, Proceedings of the 28th Asia and South Pacific Design Automation Conference, ASPDAC 2023, Tokyo, Japan, January 16-19, 2023. pages 423-428, ACM, 2023. [doi]
Abstract is missing.