|
Authors: | Oskar Mencer, Marco Platzner |
Group: | Computer Engineering |
Type: | Inproceedings |
Title: | Dynamic Circuit Generation for Boolean Satisfiability in an Object-Oriented Environment |
Year: | 1999 |
Month: | January |
Pub-Key: | MP99 |
Book Titel: | Proceedings of the 32th Hawaiian International Conference on System Sciences |
Abstract: | We apply our object-oriented design environment PAM-Blox to 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 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 datapaths and control automatons. By providing FSM optimization and control over placement, our design environment enables the maximization of performance. |
Remarks: | Proceedings of the 32th Hawaiian International Conference on System Sciences, Maui, USA, 1999 |
Resources: | [BibTeX] [Paper as PDF] |