 |
|
|||
| 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] |
