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

In recent years, hardware systems have significantly grown in complexity. Due to the increasing complexity, there is a need to continuously improve the quality of the hardware design process. This leads designers to strive for more efficient data structures and algorithms operating on them to guaran...

Full description

Saved in:

Bibliographic Details
Published in:	2023 28th Asia and South Pacific Design Automation Conference (ASP-DAC) pp. 423 - 428
Main Authors:	Krauss, Rune, Goli, Mehran, Drechsler, Rolf
Format:	Conference Proceeding
Language:	English
Published:	New York, NY, USA ACM 16.01.2023
Series:	ACM Conferences
Subjects:	Applied computing > Arts and humanities > Architecture (buildings) > Computer-aided design Benchmark testing binary decision diagrams Boolean functions Computing methodologies > Parallel computing methodologies > Parallel algorithms Design automation Hardware Hardware > Hardware validation Instruction sets Mathematics of computing > Discrete mathematics > Graph theory Memory management Model checking parallel computing binary decision diagrams memory management model checking parallel computing boolean functions
ISBN:	9781450397834, 1450397832
ISSN:	2153-697X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!