1 / 18

DesiJ: A Tool for Decomposing STGs

DesiJ: A Tool for Decomposing STGs. Mark Schaefer, Walter Vogler, Dominic Wist and Ralf Wollowski. Outline. Motivation Decomposition-based SI Logic Synthesis Idea of Decomposition DesiJ Functionality User Interface Installation requirements Live Demo

keaira
Download Presentation

DesiJ: A Tool for Decomposing STGs

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. DesiJ: A Tool for Decomposing STGs Mark Schaefer, Walter Vogler, Dominic Wist and Ralf Wollowski Work Group – Basics of Systems Engineering

  2. Outline • Motivation • Decomposition-based SI Logic Synthesis • Idea of Decomposition • DesiJ • Functionality • User Interface • Installation requirements • Live Demo • Integration into the Balsa Design Flow Work Group – Basics of Systems Engineering

  3. Outline Motivation Decomposition-based SI Logic Synthesis Idea of Decomposition DesiJ Functionality User Interface Installation requirements Live Demo Integration into the Balsa Design Flow 3 Work Group – Basics of Systems Engineering

  4. From SI Logic Synthesis to … lds = d + csc dtack = d d = ldtack · csc csc = dsr · (csc + ldtack) Specification: Signal Transition Graph (STG) Reachability analysis State Graph State encoding State Graph with CSC (Complete State Coding) Boolean minimization Next-State Functions Logic decomposition Decomposed Functions Technology mapping Gate netlist Work Group – Basics of Systems Engineering

  5. Decomposition-based Logic Synthesis Specification: STG STG decomposition Component STGs Specification: STG Reachability analysis Reachability analysis State Graphs State Graph State encoding State encoding State Graphs with CSC (Complete State Coding) State Graph with CSC (Complete State Coding) Boolean minimization Boolean minimization Next-State Functions Next-State Functions Logic decomposition Logic decomposition Decomposed Functions Decomposed Functions Technology mapping Technology mapping Gate netlist Gate netlist DesiJ “State Space Explosion“ Petrify Work Group – Basics of Systems Engineering

  6. Idea of STG-Decomposition Work Group – Basics of Systems Engineering

  7. STG-Decomposition Technique p(out) = { {lds, d} , {dtack} } Elimination of irrelevant signals (transition contraction) Work Group – Basics of Systems Engineering

  8. Results – Success Stories • Avoidance of state explosion • Effectivity and efficiency in logic synthesis Work Group – Basics of Systems Engineering

  9. Outline Motivation Decomposition-based SI Logic Synthesis Idea of Decomposition DesiJ Functionality User Interface Installation requirements Live Demo Integration into the Balsa Design Flow 9 Work Group – Basics of Systems Engineering

  10. Primary Function: Decomposition R DesiJ Decomposition SI Logic Synthesis instead Petrify Petrify Punf & Mpsat Work Group – Basics of Systems Engineering

  11. Configuration of the Decomposition • Decomposition strategy (basic, lazyBack, tree etc.) • Specification of the output partition • Insertion of internal communication signals to enable SI logic synthesis • Deletion of redundant places • simple versions (loop-only, duplicate …) • shortcut places • implicit places (with unfoldings) Work Group – Basics of Systems Engineering

  12. Secondary Functions • Functions for STG manipulation • deletion of redundant places • contraction of dummy transitions • creation of particular benchmark STGs (e.g. SeqParTree) • STG conversion to a postscript document (requires graphviz package and a working postscript installation to display the result) • Reachability graph generation (simple version) • Verification of the decomposition implementation (test for STG-bisimulation) Work Group – Basics of Systems Engineering

  13. User Interface • Primary UI: Command Line Interface • most powerful UI (all functions and options are accessible) • easy accessible by other tools (see later) • Secondary UI: a rudimentary GUI • for research purposes • works in an old DesiJ version only Work Group – Basics of Systems Engineering

  14. Installation requirements • DesiJ comes as a Jar-Archive (JRE 1.6 or higher is required) • Third party tools are required • For synthesis: Petrify, Punf, Mpsat • For visualization: Graphviz, Ghostview • Full functionality is only provided for Linux so far 14

  15. Outline Motivation Decomposition-based SI Logic Synthesis Idea of Decomposition DesiJ Functionality User Interface Installation requirements Live Demo Integration into the Balsa Design Flow 15 SeqParTree-3 Work Group – Basics of Systems Engineering

  16. Outline Motivation Decomposition-based SI Logic Synthesis Idea of Decomposition DesiJ Functionality User Interface Installation requirements Live Demo Integration into the Balsa Design Flow 16 Work Group – Basics of Systems Engineering

  17. Failure • Proposed CAD Framework for • Decomposition-based HDL Synthesis • of Asynchronous Circuits 17

  18. More Information • Website (with download version): http://www.informatik.uni-augsburg.de/en/chairs/swt/ti/research/tools/desij/ • Mark Schaefer. DesiJ - a tool for STG decomposition. Technical Report 2007-11, Institute of Computer Science, University of Augsburg, 2007, (available at http://www.informatik.uni-augsburg.de/en/chairs/swt/ti/research/tr/2007_desij/) • Mark Schaefer, Dominic Wist and Ralf Wollowski. DesiJ – Enabling Decomposition-Based Synthesis of Complex Asynchronous Controllers. To appear in the Proceedings of ACSD’09. • DesiJ help: via the command line call desij --help 18

More Related