EDDY: A Multi-Core BDD Package with Dynamic Memory Management and Reduced Fragmentation

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]

Authors

Rune Krauss

This author has not been identified. Look up 'Rune Krauss' in Google

Mehran Goli

This author has not been identified. Look up 'Mehran Goli' in Google

Rolf Drechsler

This author has not been identified. Look up 'Rolf Drechsler' in Google