On the models for asynchronous circuit behaviour with OR causality (1996)

Author(s): Yakovlev A, Kishinevsky M, Kondratyev A, Lavagno L, Pietkiewicz-Koutny M

      • Journal: Formal Methods in System Design
      • Volume: 9
      • Issue: 3
      • Pages: 189-233
      • Publisher: Springer New York LLC
      • Publication type: Article
      • Bibliographic status: Published

      Dr Marta Koutny
      Senior Lecturer

      Professor Alex Yakovlev
      Professor of Computer System Design