Step Persistence in the Design of GALS Systems

@inproceedings{Fernandes2013StepPI,
  title={Step Persistence in the Design of GALS Systems},
  author={Johnson Fernandes and Maciej Koutny and Marta Pietkiewicz-Koutny and Danil Sokolov and Alexandre Yakovlev},
  booktitle={Petri Nets},
  year={2013}
}
In this paper we investigate the behaviour of GALS (Globally Asynchronous Locally Synchronous) systems in the context of VLSI circuits. The specification of a system is given in the form of a Petri net. Our aim is to re-design the system to optimise signal management, by grouping together concurrent events. Looking at the concurrent reachability graph of… CONTINUE READING