On the Models for Asynchronous Circuit Behaviour with OR Causality

  title={On the Models for Asynchronous Circuit Behaviour with OR Causality},
  author={Alexandre Yakovlev and Michael Kishinevsky and Alex Kondratyev and Luciano Lavagno and Marta Pietkiewicz-Koutny},
  journal={Formal Methods in System Design},
Asynchronous circuits behave like concurrent programs implemented in hardware logic. The processes in such circuits are synchronised in accordance with the dynamic logical and causal conditions between switching events. The classical paradigm, easily represented in most process-oriented languages for concurrent systems modelling, is AND causality, which is often associated with a rendez-vous synchronisation. In this paper we investigate a different, less known paradigm, called OR causality… CONTINUE READING
Highly Cited
This paper has 74 citations. REVIEW CITATIONS