Frans van Dijk - Implementing BDD algorithms on FPGA

author:Frans van Dijk
title:Implementing BDD algorithms on FPGA
keywords:Binary Decision Diagrams, parallel algorithms, Field programmable Gate Arrays
topics:Other
supervisor(s):prof.dr. J.C. van de Pol
Kuper (CAES)
started:18 April 2016


Description

The goal is to investigate if it is possible to (efficiently) map parallel BDD algorithms onto FPGA hardware.

 

References

  1. Sylvan - a parallel, multi-core BDD package (Digital version available here)
  2. Sylvan: Multi-core Decision Diagrams (Digital version available here)
  3. FPGA literature ?