9 citations · 32 across the 12 of their papers we have counts for
3 papers · 1 filter
A Composable Glitch-Aware Delay Model
Jürgen Maier, Daniel Öhlinger, Ulrich Schmid +2
We introduce the Composable Involution Delay Model (CIDM) for fast and accurate digital simulation. It is based on the Involution Delay Model (IDM) [Függer et al., IEEE TCAD 2020],…
A Faithful Binary Circuit Model with Adversarial Noise
Matthias Függer, Jürgen Maier, Robert Najvirt +2
Accurate delay models are important for static and dynamic timing analysis of digital circuits, and mandatory for formal verification. However, Függer et al. [IEEE TC 2016] proved…
Faithful Glitch Propagation in Binary Circuit Models
Matthias Függer, Robert Najvirt, Thomas Nowak +1
Modern digital circuit design relies on fast digital timing simulation tools and, hence, on accurate binary-valued circuit models that faithfully model signal propagation, even thr…