TY  - JOUR
A1  - Wist, Dominic
A1  - Wollowski, Ralf
A1  - Schaefer, Mark
A1  - Vogler, Walter
T1  - Avoiding irreducible CSC conflicts by internal communication
N2  - Resynthesis of handshake specifications obtained e. g. from BALSA or TANGRAM with speed-independent logic synthesis from STGs is a promising approach. To deal with state-space explosion, we suggested STG decomposition; a problem is that decomposition can lead to irreducible CSC conflicts. Here, we present a new approach to solve such conflicts by introducing internal communication between the components. We give some first, very encouraging results for very large STGs concerning synthesis time and circuit area.
Y1  - 2009
UR  - http://iospress.metapress.com/content/300178/
U6  - https://doi.org/10.3233/Fi-2009-140
SN  - 0169-2968
ER  - 
TY  - JOUR
A1  - Wist, Dominic
A1  - Schaefer, Mark
A1  - Vogler, Walter
A1  - Wollowski, Ralf
T1  - Signal transition graph decomposition internal communication for speed independent circuit implementation
JF  - IET Computers and digital techniques
N2  - 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.
Y1  - 2011
U6  - https://doi.org/10.1049/iet-cdt.2010.0162
SN  - 1751-8601
VL  - 5
IS  - 6
SP  - 440
EP  - 451
PB  - Institution of Engineering and Technology
CY  - Hertford
ER  -