Keyword: design automation

• Yakovlev, A.:
  Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets. 1998.

• Semenov, A.; Koelmans, A.M.; Lloyd, L.; Yakovlev, A.:
  Designing an Asynchronous Processor Using Petri Nets. 1997.

• Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A.:
  Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. 1997.

• Yakovlev, A.; Koelmans, A.M.; Semenov, A.; Kinniment, D.J.:
  Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets. 1996.

• Yakovlev, A.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Pietkiewicz-Koutny, M.:
  On the Models for Asynchronous Circuit Behaviour with OR Causality. 1996.

• Yakovlev, A.; Lavagno, L.; Sangiovanni-Vincentelli, A.:
  A unified signal transition graph model for asynchronous control circuit synthesis. 1996.

• Yakovlev, A.; Koelmans, A.; Lavagno, L.:
  High level modelling and design of asynchronous interface logic. 1995.

Back to the Petri Nets Bibliography