199.097 Design of Asynchronous Circuits and Systems 2022S, VU, 2.0h, 3.0EC, to be held in blocked form
Learning outcomes
After successful completion of the course, students are able to understand asynchronous design and test methodologies, and to have basic knowledge about the concepts of token-based computing, self-timed logic as well as to asynchronous design tools based on hardware description languages and graphical formal languages (eg. Petri nets and Signal Transition Graphs). The course will also give the students understanding of the importance of design for low power in modern systems-on-chip, and present methods for achieving energy-efficient solutions in ubiquitous computing applications, such as wireless sensor networks and energy-autonomous systems.
Subject of course
The lecturer of this course will be Alex Yakovlev / Newcastle University
Outline Syllabus
- Introduction to Async design: principles, methodology, design styles overview, applications (2 hours)
- Models: Petri nets, STGs (2 hours)
- Synthesis from STGs: basics (2 hours)
- Synthesis from STG: advanced (2 hours)
- Verification (2 hours)
- Metastability, synchronizers, arbiters (2 hours)
- Application: Analog-mixed signal design (2 hours)
- Application: Machine learning (2 hours)
- GALS (2 hours)
- Design automation developments (2 hours)
Teaching methods
This will be a lecture with discussions.
Practicals can be arranged (optionally) for those who would like to familiarise themselves with the details of the methods of synthesis of asynchronous controllers and interfaces, as well as visualisation of concurrency models in the form of Petri nets. For this the Workcraft tool will be introduced and several exercises (of varying difficulty) offered.
Mode of examination
Written
Additional information
This is a guest professor course of the TU Wien Informatics Doctoral School / Doctoral College “Resilient Embedded Systems“.
The course is open to all PhD students and interested Master students.
This course will be held online via ZOOM
ECTS breakdown:
20h lectures
10h preparation for lectures
6h exercises
12h preparation for exercises
2h exam
24h preparation for exam