Reachability Analysis for Nonlinear Analog/Mixed-Signal Circuits with Trajectory-Based Reachable Sets
S Kim, J Kim - IEEE Access, 2023 - ieeexplore.ieee.org
This paper presents an efficient and scalable reachability analysis algorithm for nonlinear
analog/mixed-signal circuits. In particular, it addresses the challenges in computing the time …
analog/mixed-signal circuits. In particular, it addresses the challenges in computing the time …
Safety Verification of Analog Mixed-Signal Circuits Using Reachability Analysis
김세영 - 2023 - s-space.snu.ac.kr
This dissertation proposes a methodology to verify the safe operation of analog mixed-signal
(AMS) circuits under formal specifications. With integrating many AMS integrated circuits (IC) …
(AMS) circuits under formal specifications. With integrating many AMS integrated circuits (IC) …