activity
20242026
collaborators

5 papers

cs.AR2026

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…

cs.OH2025

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…

cs.AR2025

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…

cs.AR2025

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…

cs.AR2024

Signal Prediction for Digital Circuits by Sigmoidal Approximations using Neural Networks

Josef Salzmann, Ulrich Schmid

Investigating the temporal behavior of digital circuits is a crucial step in system design, usually done via analog or digital simulation. Analog simulators like SPICE iteratively…