Digital Circuit Modeling Workshop

We are looking for Master and/or PhD students possibly interested to join our FWF-funded research project DMAC (Digital Modeling of Asynchronous Circuits). We will hence organize an open and very informal workshop-like event, where project members will present some of our recent research results.

The workshop will take place in a hybrid format on Tuesday, November 9, 14:15-17:00, in the Seminarraum DE0110 (Treitlstraße 1-3, 1st floor) and via ZOOM. Moreover, we plan to record the presentations and make the videos available later on.

Update: The recording is available here.


Time                    Presenter                         Title
14:15-14:30 Ulrich Schmid Introduction and Overview
14:30-15:00 Jürgen Maier The Composable Involution Delay Model
15:00-15:30 Daniel Öhlinger The Involution Tool for Digital Timing Analysis
15:30-15:45 Break
15:45-16:15 Arman Ferdowsi Delay Modeling of Multi-Input Gates
16:15-17:00 Ulrich Schmid Composability and Modular Correctness Proofs & Other Research Challenges