7 papers
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…
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…
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…