Matthias Függer received his M.Sc. (2006) and his PhD (2010) in computer engineering from TU Wien, Austria. He is currently a post-doctoral researcher at LIX, Ecole polytechnique. His main research interest is the formal study of the fundamentals of computationally extremely restricted distributed devices manmade or models of natural systems). Specifically this includes (fault-tolerant) distributed algorithms in hardware and biology.

AG 1, AG 2, AG 3, AG 4, AG 5, RG1, SWS, MMCI   Info

MPI Audience

English

30 Minutes

Saarbrücken

Binary circuit models are high-level abstractions intended to reflect
the behavior of digital circuits, while restricting signal values to 0
and 1. Such models play an important role in assessing the correctness
and performance characteristics of digital circuit designs: (i) modern
circuit design relies on fast digital timing simulation tools and,
hence, on accurate binary-valued circuit models that faithfully model
signal propagation, even throughout a complex design, and (ii) binary
circuit models provide a level of abstraction that is amenable to
formal analysis.

Of particular importance is the ability to trace glitches and other
short pulses, as their presence may affect a circuit's correctness and
its performance characteristics.

In this talk we first show that that no existing binary-valued circuit
model proposed so far faithfully captures glitch propagation.

We then propose a class of binary circuit models that do not suffer
from this deficiency: We prove that, in sharp contrast to what is
possible with classical models, the proposed circuit models allow to
solve the Short-Pulse Filtration (SPF) problem, which is related to a
circuit's ability to suppress a single glitch, precisely when this is
possible in physical circuits.

This renders them a promising candidate, both, for simulation and the
formal analysis of circuits.

Christoph Lenzen

--email hidden

passcode not visible

logged in users only