1 citations · 1 across the 9 of their papers we have counts for
12 papers
A proof-carrying architecture for synthetic genetic logic circuits under stochastic temporal contracts
Arman Ferdowsi, Laura Kovacs
Genetic design automation maps Boolean specifications to regulatory networks and DNA sequences, but a successful mapping does not establish the probability that every output remain…
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…
Certificate-Aware Property-Directed Reachability
Arman Ferdowsi, Laura Kovacs
Property-Directed Reachability (PDR/IC3) is widely used for hardware safety verification. Most implementations optimize time-to-answer, but certified workflows also require compact…
Drafting and Multi-Input Switching in Digital Dynamic Timing Simulation for Multi-Input Gates
Arman Ferdowsi, Ulrich Schmid, Josef Salzmann
We present a prototype multi-input gate extension of the publicly available Involution Tool for accurate digital timing simulation and power analysis of integrated circuits introdu…
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…
From Silicon to Spikes: System-Wide Efficiency Gains via Exact Event-Driven Training in Neuromorphic Computing
Arman Ferdowsi, Atakan Aral
Spiking neural networks (SNNs) promise orders-of-magnitude efficiency gains by communicating with sparse, event-driven spikes rather than dense numerical activations. However, most…
Faithful Dynamic Timing Analysis of Digital Circuits Using Continuous Thresholded Mode-Switched ODEs
Arman Ferdowsi, Matthias Függer, Thomas Nowak +2
Thresholded hybrid systems are restricted dynamical systems, where the current mode, and hence the ODE system describing its behavior, is solely determined by externally supplied d…
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…
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models
Arman Ferdowsi, Matthias Függer, Thomas Nowak +1
Thresholded mode-switched ODEs are restricted dynamical systems that switch ODEs depending on digital input signals only, and produce a digital output signal by thresholding some i…
An Accurate Hybrid Delay Model for Multi-Input Gates
Arman Ferdowsi, Ulrich Schmid, Josef Salzmann
In order to facilitate the analysis of timing relations between individual transitions in a signal trace, dynamic digital timing analysis offers a less accurate but much faster alt…
A Simple Hybrid Model for Accurate Delay Modeling of a Multi-Input Gate
Arman Ferdowsi, Jürgen Maier, Daniel Öhlinger +1
Faithfully representing small gate delay variations caused by input switchings on different inputs in close temporal proximity is a very challenging task for digital delay models.…