Dynamic Circuit Generation for Boolean Satisfiability in an Object-Oriented Design Environment
[appeared at HICSS, Maui, 1999]

by Oskar Mencer, Marco Platzner

abstract.
We present the dynamic generation of circuits for reconfigurable computing.
Instance-specific datapaths and control automatons are implemented in our 
object-oriented design environment, PAM-Blox. As the driving application 
and case study we consider reconfigurable hardware accelerators for the 
NP-complete boolean satisfiability problem. 

A low-level design environment that supports dynamic circuit generation 
for boolean satisfiability should provide a method to specify and place 
finite state machines (FSMs). These FSMs are synthesized and optimized 
for the specific reconfigurable hardware resources. Subsequent instantiations 
of the same FSM are then created within the object-oriented framework. This 
helps to keep the circuit generation time small which is crucial for dynamic 
reconfiguration.

The PAM-Blox environment combines object-oriented hardware design and 
the ability to control the placement of hand-optimized circuits. 
Control over placement of FSMs enables maximal performance and the 
read-back of the final results. 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.