Symbolische Zeitanalyse asynchroner Schaltungen

Symbolic Timing Analysis of Asynchronous Circuits

Arman Ferdowsi (ORCID: 0000-0002-9374-3828)

Wissenschaftsdisziplinen

Elektrotechnik, Elektronik, Informationstechnik (35%); Mathematik (65%)

Keywords

    Symbolic Timing Analysis, Hybrid Delay Models, Formal Verification, Differentiable Timing, Digital Integrated Circuits

Forschungsstätte(n)
Nationale Projektbeteiligte
Internationale Projektbeteiligte