Symbolic Timing Analysis of Digital Circuits Using Analytic Delay Functions. - Era Thaqi; Dennis Eigner; Arman Ferdowsi; Ulrich Schmid 001 (CoRR, 2025)