1 June 2016 at 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 verify basic asynchronous circuits, such as buck controller and VME bus controller.

• 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
  • Synthesis and verification of VME bus controller

• lecture_1-introduction_to_principles_and_models.pdf (1 MiB)
• lecture_2-logic_synthesis_and_implementation_styles.pdf (501 KiB)
• practical_0-workcraft_overview.pdf (515 KiB)
• practical_1-c_element.pdf (491 KiB)
• practical_2-buck_controller.pdf (567 KiB)
• practical_3-vme_bus_controller.pdf (456 KiB)