Hardware synthesis from guarded atomic actions with performance specifications

We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The methodology is based on rule composition, and relies on the fact that a rule derived by the composition of two rules behaves as if the two rules were scheduled simultaneously. Rule composition is a well understood transformation in the TRS theoretical framework; however, previous rule composition approaches resulted in an explosion of the number of rules during synthesis, making them impractical for realistic designs. We avoid this problem through composition of conditional actions which generates one rule instead of 2n rules when we combine n rules. We then show how this conditional composition of rules can be compiled into an efficient hardware structure which introduces new but derived interfaces in modules. We demonstrate the approach via a small circuit example (GCD) and then show its impact on the metho...

• Type: Conference
• Year: 2005
• Where: ICCAD
• Authors: Daniel L. Rosenband
• Keywords: Conditional Composition, Hardware, Hardware Synthesis Methodology, ICCAD 2005, Rule-based Synthesis Approaches