Synthesis and verification of asynchronous circuits
9 June 2015 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 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