4 papers · 1 filter
A Fault-Tolerant Spike-Time Interface for Approximate Agreement in Distributed Neuromorphic Systems
Arman Ferdowsi, Maryam DehghanChenary, Kevin Tierney +1
Large neuromorphic systems contain many processing tiles that may replicate a shared control parameter such as a threshold reference. If these copies diverge, identical inputs may…
A Symbolic Execution Framework for Symbolic Timing Analysis of Digital Integrated Circuits
Dennis Eigner, Arman Ferdowsi, Ulrich Schmid
Simulation-based dynamic timing analysis of digital integrated circuits (DDTA) offers a faster alternative to traditional analog SPICE simulations. To achieve timing predictions th…
Symbolic Timing Analysis of Digital Circuits Using Analytic Delay Functions
Era Thaqi, Dennis Eigner, Arman Ferdowsi +1
We propose a novel approach to symbolic timing analysis for digital integrated circuits based on recently developed analytic delay formulas for 2-input NOR, NAND, and Muller-C gate…
A Hybrid Delay Model for Interconnected Multi-Input Gates
Arman Ferdowsi, Matthias Függer, Josef Salzmann +1
Dynamic digital timing analysis is a less accurate but fast alternative to highly accurate but slow analog simulations of digital circuits. It relies on gate delay models, which al…