Signal transition graph decomposition internal communication for speed independent circuit implementation
- Logic synthesis of speed independent circuits based on signal transition graph (STG) decomposition is a promising approach to tackle complexity problems like state-space explosion. Unfortunately, decomposition can result in components that in isolation have irreducible complete state coding conflicts. In earlier work, the authors showed how to resolve such conflicts by introducing internal communication between components, but only for very restricted specification structures. Here, they improve their former work by presenting algorithms for identifying delay transitions and inserting gyroscopes for specifications having a much more general structure. Thus, the authors are now able to synthesise controllers from real-life specifications. For all algorithms, they present correctness proofs and show their successful application to benchmarks, including very complex STGs arising in the context of control resynthesis.
Author details: | Dominic Wist, Mark Schaefer, Walter Vogler, Ralf Wollowski |
---|---|
DOI: | https://doi.org/10.1049/iet-cdt.2010.0162 |
ISSN: | 1751-8601 |
Title of parent work (English): | IET Computers and digital techniques |
Publisher: | Institution of Engineering and Technology |
Place of publishing: | Hertford |
Publication type: | Article |
Language: | English |
Year of first publication: | 2011 |
Publication year: | 2011 |
Release date: | 2017/03/26 |
Volume: | 5 |
Issue: | 6 |
Number of pages: | 12 |
First page: | 440 |
Last Page: | 451 |
Funding institution: | Epsrc [EP/G037809/1] |
Organizational units: | An-Institute / Hasso-Plattner-Institut für Digital Engineering gGmbH |
Peer review: | Referiert |