Dynamic circuit generation for Boolean satisfiability in an object-oriented design environment

We apply our object-oriented design environment PAM-Blox to the dynamic generation of circuits for reconfigurable computing. Our approach combines the structural hardware design environment with commercial synthesis of finite state machines (FSMs). The PAM-Blox environment features a well-defined hardware object interface and the ability to control the placement of hand-optimized circuits. We integrate the advantages of an object-oriented design environment with full control over placement at every level of abstraction, with commercial FSM synthesis and optimization. As a driving application, we consider reconfigurable hardware accelerators for the NP-complete Boolean satisfiability problem. These accelerators require a fast compilation of circuits consisting of instance-specific data paths and control automata. By providing FSM optimization and control over placement, our design environment enables the maximization of performance.