====== Fundamental Principles and Advanced Techniques for Asynchronous Design ======

//21-22 May 2018 at [[http://www.dialog-semiconductor.com/|Dialog Semiconductor]], Swindon, UK//

This tutorial will cover both the fundamental principles of asynchronous system design and the advanced techniques for technology mapping, and verification and synthesis of hierarchical designs. Workcraft toolkit will be used for the practical sessions.

===== Basic course =====
  * 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
    * Design of C-element
    * Design of basic buck controller
    * Design of VME bus controller (optional)

===== Advanced course =====
  * Lectures (2 hours)
    * Logic decomposition and technology mapping
    * N-way conformation

  * Practicals (4 hours)
    * Logic decomposition and technology mapping
    * Verification and synthesis of hierarchical designs

===== Handouts =====
  * <wrap download>{{basic-lecture_1-introduction_to_principles_and_models.pdf}}</wrap>
  * <wrap download>{{basic-lecture_2-logic_synthesis_and_implementation_styles.pdf}}</wrap>
  * <wrap download>{{basic-practical_0-workcraft_overview.pdf}}</wrap>
  * <wrap download>{{basic-practical_1-c_element.pdf}}</wrap>
  * <wrap download>{{basic-practical_2-buck_controller.pdf}}</wrap>
  * <wrap download>{{advanced-lecture_1-logic_decomposition_and_technology_mapping.pdf}}</wrap>
  * <wrap download>{{advanced-lecture_2-n_way_conformation.pdf}}</wrap>
  * <wrap download>{{advanced-practical_1-logic_decomposition_and_technology_mapping.pdf}}</wrap>
  * <wrap download>{{advanced-practical_2-verification_and_synthesis_of_hierarchical_designs.pdf}}</wrap>