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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	2023 28th Asia and South Pacific Design Automation Conference (ASP-DAC) S. 423 - 428
Hauptverfasser:	Krauss, Rune, Goli, Mehran, Drechsler, Rolf
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 16.01.2023
Schriftenreihe:	ACM Conferences
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!