|author:||Frans van Dijk|
|title:||Implementing ROBDD algorithms on FPGA using CλaSH|
|keywords:||Binary Decision Diagrams, ROBDD, Field Programmable Gate Arrays, FPGA, CλaSH, Hardware Design, Functional Languages, Haskell|
|topics:||Algorithms and Data Structures , Languages|
|committee:||Jaco van de Pol|
Performing operations on BDDs can be very time consuming.
Accelerating these computations with the use of multi-core systems and GPUs has already been explored.
However, the use of purpose-built hardware has not yet been explored.
With the goal of creating fast and efficient purpose-built hardware this paper describes how the ROBDD Apply algorithm can be implemented on an FPGA.
This paper achieves this using the functional hardware description language ClaSH.