Fundamental Principles of Asynchronous Design and Advanced Decomposition Techniques
21-22 May 2018 at
This course covers both the fundamental principles of asynchronous circuit design and the advanced techniques for logic decomposition, technology mapping, and verification of hierarchical system.
Fundamental Principles and Advanced Techniques for Asynchronous Design
15-16 May 2017 at
This course covers both the basic principles of asynchronous circuit design and the advanced techniques for system decomposition and initialisation.
Design Automation for AMS Circuits with Asynchronous Control
11 December 2016 at
The tutorial focus is on a new and steadily evolving design flow for AMS systems with asynchronous control.
Introduction to Workcraft
19 July 2016 at
This tutorial overviews interpreted graph models supported by Workcraft with a spotlight on Petri nets, STGs, DFSs and SONs.
Design of Asynchronous Circuits
1 June 2016 at
This course covers the basic principles of asynchronous circuit design and focuses on synthesis and verification methods.
Modeling and Verification of Hardware
22 June 2015 at
The subject of this tutorial is formal modelling and verification of asynchronous hardware.
Self-timed Circuit Design: from Enigma to Reality
29 May 2015 at
This course is about various design techniques for building asynchronous circuits.