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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2023 28th Asia and South Pacific Design Automation Conference (ASP-DAC) s. 423 - 428
Hlavní autoři: Krauss, Rune, Goli, Mehran, Drechsler, Rolf
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: New York, NY, USA ACM 16.01.2023
Edice:ACM Conferences
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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 guarantee the correct behavior of such systems through verification techniques like model checking and meet time-to-market constraints. A Binary Decision Diagram (BDD) is a suitable data structure as it provides a canonical compact representation of Boolean functions, given variable ordering, and efficient algorithms for manipulating them. However, reduced ordered BDDs also have challenges: There is a large memory consumption for the BDD construction of some complex practical functions and the use of realizations in the form of BDD packages strongly depends on the application. To address these issues, this paper presents a novel multi-core package called Engineer Decision Diagrams Yourself (EDDY) with dynamic memory management and reduced fragmentation. Experiments on BDD benchmarks of both combinational circuits and model checking show that using EDDY leads to a significantly performance boost compared to state-of-the-art packages.
ISBN:9781450397834
1450397832
ISSN:2153-697X
DOI:10.1145/3566097.3567913