Efficient parallel GPU algorithms for BDD manipulation

Author

Velev, Miroslav N. ; Ping Gao

Author_Institution

Aries Design Autom., LLC, Chicago, IL, USA

fYear

2014

fDate

20-23 Jan. 2014

Firstpage

750

Lastpage

755

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference (ASP-DAC), 2014 19th Asia and South Pacific

Conference_Location

Singapore

Type

conf

DOI

10.1109/ASPDAC.2014.6742980

Filename

6742980

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=245579