FPGA Acceleration of Probabilistic Sentential Decision Diagrams with High-Level Synthesis

Young-kyu Choi,Carlos Santillana,Yujia Shen,Adnan Darwiche,Jason Cong
DOI: https://doi.org/10.1145/3561514
IF: 2.837
2022-09-06
ACM Transactions on Reconfigurable Technology and Systems
Abstract:Probabilistic Sentential Decision Diagrams (PSDDs) provide efficient methods for modeling and reasoning with probability distributions in the presence of massive logical constraints. PSDDs can also be synthesized from graphical models such as Bayesian networks (BNs) therefore offering a new set of tools for performing inference on these models (in time linear in the PSDD size). Despite these favorable characteristics of PSDDs, we have found multiple challenges in PSDD's FPGA acceleration. Problems include limited parallelism, data dependency, and small pipeline iterations. In this paper, we propose several optimization techniques to solve these issues with novel pipeline scheduling and parallelization schemes. We designed the PSDD kernel with a high-level synthesis (HLS) tool for ease of implementation and verified it on Xilinx Alveo U250 board. Experimental results show that our methods improve the baseline FPGA HLS implementation performance by 2,200X and the multicore CPU implementation by 20X. The proposed design also outperforms state-of-the-art BN and Sum Product Network (SPN) accelerators that store the graph information in memory.
computer science, hardware & architecture
What problem does this paper attempt to address?