Erfolgreiche Verteidigung der Dissertation
Dr. Kemal Çağlar Coşkun
Dr. Kemal Çağlar Coşkun hat seine Dissertation "Cross-Level Verification of Analog Circuits" erfolgreich verteidigt.
This thesis addresses a key challenge in modern electronics: the scalable and reliable verification of analog and mixed-signal (AMS) circuits. While digital systems benefit from mature formal verification techniques, analog verification still relies largely on SPICE simulations and manual analysis, which do not scale to today’s complex System-on-Chip designs or emerging applications such as analog computing and multilevel matrix-vector multipliers (MVMs).
The work proposes cross-level verification methodologies that combine high-level abstract models with low-level circuit implementations. To ensure correctness despite abstraction, the thesis introduces formal equivalence-checking techniques and proof-based methods to bound functional errors, including a formal analysis of multilevel MVMs. By employing symbolic and state-space-based approaches, the proposed methods significantly improve verification coverage and efficiency compared to simulation-based techniques.
Overall, the thesis bridges the gap between analog and digital verification, enabling more robust and trustworthy AMS system design.
In X teilen
In LinkedIn teilen
