Symbolic Timing Analysis of Asynchronous Circuits

Symbolic Timing Analysis of Asynchronous Circuits

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

Disciplines

Electrical Engineering, Electronics, Information Engineering (35%); Mathematics (65%)

Keywords

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

Research institution(s)
Project participants
International project participants