====== Introduction to Asynchronous Circuits ======

//13 June 2019 at [[http://www.dialog-semiconductor.com/|Dialog Semiconductor]], Edinburgh, UK//

The aim of this training is to introduce the fundamental principles of asynchronous circuit design. Practical session will teach the use the Workcraft toolset for synthesis and verification of simple asynchronous circuits, such as a basic buck controller and a VME bus controller.

* Lectures (4 hours)
  * Asynchronous design principles, models, techniques, and tools -- <wrap download>{{lecture_1-introduction_to_principles_and_models.pdf|slides}}</wrap>
  * Modelling and decomposition techniques -- <wrap download>{{lecture_2-modelling_and_decomposition_techniques.pdf|slides}}</wrap>
  * Logic synthesis from STGs and implementation styles -- <wrap download>{{lecture_3-logic_synthesis_and_implementation_styles.pdf|slides}}</wrap>


* Practicals (3 hours)
  * Introduction to Workcraft -- <wrap download>{{practical-workcraft_overview.pdf|handouts}}</wrap>
  * [[tutorial:design:c_element:start|Design of C-element]]
  * [[tutorial:design:basic_buck:start|Design of basic buck controller]]