Design of Asynchronous Circuits
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.
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
Synthesis and verification of VME bus controller
Handouts