Send email Copy Email Address
© Tobias Ebelshäuser

Email

Phone

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Publications by Christoph Lenzen

Year 2022

Conference / Medium

DISC
Proc. Symposium on Distributed ComputingDISC 2022

Conference / Medium

SRDS
Proc. Symposium on Reliable Distributed SystemsSRDS 2022

Book section

Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

Conference / Medium

PODC
Proceedings of the ACM Symposium on Principles of Distributed Computing2022 ACM PODC

Conference / Medium

PODC
Prooceedings of the 2022 ACM Symposium on Principles of Distributed ComputingACM Symposium on Principles of Distributed Computing 2022

Conference / Medium

ITCS
Proceedings of the 13th Innovations in Theoretical Computer Science (ITCS)13th Innovations in Theoretical Computer Science (ITCS)

Teaching by Christoph Lenzen

Winter 2021/22

Metastability-Containing Synchronization Circuits

People

Lecturers:

  • Christoph Lenzen
  • Matthias Függer
  • Danny Dolev
  • Moti Medina
  • Ian W. Jones

Teaching Assistant:

  • Johannes Bund

 

Lecture Slots

weekly lecture slots:

  • Wednesday, 12:00 - 14:00
  • Thursday, 10:00 - 12:00

first lecture:

  • Wednesday, 20.10.2021

there are no tutorials

 

Course Description

In this course, we cover the theory underlying metastability-containing circuits and their application in improving the performance of clock synchronization algorithms. Metastability is an unstable equilibrium state of basic storage elements like latches and flip-flops. One can simply wait for this transient state to disappear with sufficient probability, which is sufficient for many applications. However, in hardware-level synchronization tasks, time is of the essence. In the course, we will discuss how to model metastability in computational logic in a "digital" way by introducing a third logic state. This leads to a new circuit complexity theory as well as interesting challenges arising in the context of applications, both of which will be covered in the course.

 

Prerequisites

No prerequisites other than basic mathematical knowledge are needed. It can be helpful to have knowledge about (electric) circuitry and Boolean logic, but this is not mandatory. The previous courses How to clock your computer and Clock Synchronization and Adversarial Fault Tolerance are NOT prerequisites.

 

Registration

Please register in the CMS system for this course, as we will hand out course material via this platform. Do not forget to register in HISPOS system on time as you cannot take the exam otherwise. The course is open to whoever is interested in the topic, if you cannot register via CMS please contact the teaching assistant Johannes Bund (johannes dot bund at cispa dot de).