====== Synthesis and verification of asynchronous circuits ======

//18 November 2014 at [[http://www.dialog-semiconductor.com/|Dialog Semiconductor]], Swindon, UK//

This tutorial will introduce the theory and fundamental principles of asynchronous circuit design. Practical session will teach the engineer how to use the Workcraft toolset to synthesise and basic asynchronous controllers.

===== Programme =====
  * Lectures (4 hours)
    * Asynchronous design principles
    * Models, techniques and tools
    * Logic synthesis from STGs
    * Implementation Styles
    * Resolution of CSC conflicts

  * Practicals (3 hours)
    * Introduction to Workcraft
    * Synthesis and verification of C-element
    * Synthesis and verification of buck controller