Arman Ferdowsi receives funding for his new project “Symbolic Timing Analysis of Asynchronous Circuits” (STAAC) from FWF (Austrian Science Fund)↗ as part of the ESPRIT programme↗. ESPRIT is intended to support researchers early in their careers.
The STAAC project aims to develop the scientific basis for a new approach to analyzing integrated circuits. It advocates a novel symbolic timing analysis approach that exhaustively covers all possible circuit behaviors. You can find more information about STAAC on the u:cris website↗.