@article{WistWollowskiSchaeferetal.2009,
  author    = {Wist, Dominic and Wollowski, Ralf and Schaefer, Mark and Vogler, Walter},
  title     = {Avoiding irreducible CSC conflicts by internal communication},
  issn      = {0169-2968},
  doi       = {10.3233/Fi-2009-140},
  year      = {2009},
  abstract  = {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.},
  language  = {en}
}
@article{WistSchaeferVogleretal.2011,
  author    = {Wist, Dominic and Schaefer, Mark and Vogler, Walter and Wollowski, Ralf},
  title     = {Signal transition graph decomposition internal communication for speed independent circuit implementation},
  series = {IET Computers and digital techniques},
  volume    = {5},
  journal   = {IET Computers and digital techniques},
  number    = {6},
  publisher = {Institution of Engineering and Technology},
  address   = {Hertford},
  issn      = {1751-8601},
  doi       = {10.1049/iet-cdt.2010.0162},
  pages     = {440 -- 451},
  year      = {2011},
  abstract  = {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.},
  language  = {en}
}