Modelling and Synthesis of Asynchronous Digital Systems Alex Yakovlev, University of Newcastle upon Tyne, U.K. Asynchronous circuits are promising to tackle problems such as electro-magnetic interference, power consumption, performance, and modularity of digital circuits. The goal of this tutorial is to introduce state-of-the-art techniques and methodologies for their design. It will cover aspects such as specification, architectural design and controller synthesis tools, of asynchronous circuits. The tutorial will concentrate on a particular design methodology for control circuits based on specifications with Signal Transition Graphs. Brief outline of topics discussed in this tutorial: - What is an asynchronous circuit? - Asynchronous signalling and communication schemes (systems based on handshakes and globally asynchronous loclaly synchronous systems) - Basic asynchronous design building blocks - Control specification and implementation (Petri nets, STGs and synthesis methods) - Delay models and classes of asynchronous circuits. - Asynchronous system design examples and applications