====== Training Events ======

  * **[[:training:20190711-dialog:start|Advanced Design of Asynchronous Circuits]]**\\ //11-12 July 2019 at [[http://www.dialog-semiconductor.com/|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.

  * **[[:training:20190613-dialog:start|Introduction to Asynchronous Circuits]]**\\ //13 June 2019 at [[http://www.dialog-semiconductor.com/|Dialog Semiconductor]], Edinburgh, UK//\\ This course is to introduce the fundamental principles and the use of Workcraft software for design of asynchronous circuits.

  * **[[:training:20180731-dialog:start|Design of Asynchronous Circuits: From Fundamental Principles to Advanced Techniques]]**\\ //31 July - 2 August 2018 at [[http://www.dialog-semiconductor.com/|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.

  * **[[:training:20180521-dialog:start|Fundamental Principles of Asynchronous Design and Advanced Decomposition Techniques]]**\\ //21-22 May 2018 at [[http://www.dialog-semiconductor.com/|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.

  * **[[:training:20170515-dialog:start|Fundamental Principles and Advanced Techniques for Asynchronous Design]]**\\ //15-16 May 2017 at [[http://www.dialog-semiconductor.com/|Dialog Semiconductor]], Germering, Germany//\\ This course covers both the basic principles of asynchronous circuit design and the advanced techniques for system decomposition and initialisation.

  * **[[:training:20161211-icecs:start|Design Automation for AMS Circuits with Asynchronous Control]]**\\ //11 December 2016 at [[http://icecs.isep.fr/|ICECS-2016]], Monte Carlo, Monaco//\\ The tutorial focus is on a new and steadily evolving design flow for AMS systems with asynchronous control.

  * **[[:training:20160719-newcastle:start|Introduction to Workcraft]]**\\ //19 July 2016 at [[http://www.ncl.ac.uk/|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.

  * **[[:training:20160601-dialog:start|Design of Asynchronous Circuits]]**\\ //1 June 2016 at [[http://www.dialog-semiconductor.com/|Dialog Semiconductor]], Swindon, UK//\\ This course covers the basic principles of asynchronous circuit design and focuses on synthesis and verification methods.

  * **[[:training:20150622-acsd:start|Modeling and Verification of Hardware]]**\\ //22 June 2015 at [[http://www.ulb.ac.be/di/verif/acsd2015/|ACSD-2015]], Brussels, Belgium//\\ The subject of this tutorial is formal modelling and verification of asynchronous hardware.

  * **[[:training:20150609-dialog:start|Synthesis and verification of asynchronous circuits]]**\\ //9 June 2015 at [[http://www.dialog-semiconductor.com/|Dialog Semiconductor]], Swindon, UK//\\ This course is an introduction to the synthesis and verification of asynchronous circuits.

  * **[[:training:20150529-imec:start|Self-timed Circuit Design: from Enigma to Reality]]**\\ //29 May 2015 at [[http://www2.imec.be/be_en/home.html|IMEC]], Leuven, Belgium//\\ This course is about various design techniques for building asynchronous circuits.

  * **[[:training:20141118-dialog:start|Synthesis and verification of asynchronous circuits]]**\\ //18 November 2014 at [[http://www.dialog-semiconductor.com/|Dialog Semiconductor]], Swindon, UK//\\ This course is an introduction to the synthesis and verification of asynchronous circuits.