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!

Buďte první, kdo okomentuje tento záznam!