Title :
Efficient parallel GPU algorithms for BDD manipulation
Author :
Velev, Miroslav N. ; Ping Gao
Author_Institution :
Aries Design Autom., LLC, Chicago, IL, USA
Abstract :
We present parallel algorithms for Binary Decision Diagram (BDD) manipulation optimized for efficient execution on Graphics Processing Units (GPUs). Compared to a sequential CPU-based BDD package with the same capabilities, our GPU implementation achieves at least 5 orders of magnitude speedup. To the best of our knowledge, this is the first work on using GPUs to accelerate a BDD package.
Keywords :
binary decision diagrams; graphics processing units; BDD manipulation; binary decision diagram manipulation; graphics processing units; magnitude speedup; parallel GPU algorithms; sequential CPU-based package; Arrays; Boolean functions; Graphics processing units; Indexes; Instruction sets; Kernel; Binary Decision Diagrams (BDDs); Boolean Satisfiability; Formal Verification; Graphics Processing Unit (GPU); Parallel Execution;
Conference_Titel :
Design Automation Conference (ASP-DAC), 2014 19th Asia and South Pacific
Conference_Location :
Singapore
DOI :
10.1109/ASPDAC.2014.6742980
