Advanced Design of Asynchronous Circuits
11-12 July 2019 at Dialog Semiconductor, Germering, Germany
This course covers a variety of advanced topics, including logic decomposition and technology mapping for complex STGs, and also initialisation and testing of speed-independent circuits.

Introduction to Asynchronous Circuits
13 June 2019 at Dialog Semiconductor, Edinburgh, UK
This course is to introduce the fundamental principles and the use of Workcraft software for design of asynchronous circuits.

Design of Asynchronous Circuits: From Fundamental Principles to Advanced Techniques
31 July - 2 August 2018 at Dialog Semiconductor, Campbell, USA
At this course we will start from fundamental principles of asynchronous circuits and proceed to the advanced techniques for technology mapping, and verification and synthesis of hierarchical designs.

Fundamental Principles of Asynchronous Design and Advanced Decomposition Techniques
21-22 May 2018 at Dialog Semiconductor, Swindon, UK
This course covers both the fundamental principles of asynchronous circuit design and the advanced techniques for logic decomposition, technology mapping, and verification of hierarchical system.

Fundamental Principles and Advanced Techniques for Asynchronous Design
15-16 May 2017 at Dialog Semiconductor, Germering, Germany
This course covers both the basic principles of asynchronous circuit design and the advanced techniques for system decomposition and initialisation.

Design Automation for AMS Circuits with Asynchronous Control
11 December 2016 at ICECS-2016, Monte Carlo, Monaco
The tutorial focus is on a new and steadily evolving design flow for AMS systems with asynchronous control.

Introduction to Workcraft
19 July 2016 at Newcastle University, Newcastle upon Tyne, UK
This tutorial overviews interpreted graph models supported by Workcraft with a spotlight on Petri nets, STGs, DFSs and SONs.

Design of Asynchronous Circuits
1 June 2016 at Dialog Semiconductor, Swindon, UK
This course covers the basic principles of asynchronous circuit design and focuses on synthesis and verification methods.

Modeling and Verification of Hardware
22 June 2015 at ACSD-2015, Brussels, Belgium
The subject of this tutorial is formal modelling and verification of asynchronous hardware.

Synthesis and verification of asynchronous circuits
9 June 2015 at Dialog Semiconductor, Swindon, UK
This course is an introduction to the synthesis and verification of asynchronous circuits.

Self-timed Circuit Design: from Enigma to Reality
29 May 2015 at IMEC, Leuven, Belgium
This course is about various design techniques for building asynchronous circuits.

Synthesis and verification of asynchronous circuits
18 November 2014 at Dialog Semiconductor, Swindon, UK
This course is an introduction to the synthesis and verification of asynchronous circuits.