Reachability Analysis for Nonlinear Analog/Mixed-Signal Circuits With Trajectory-Based Reachable Sets.

Seyoung Kim Jaeha Kim

Published in: IEEE Access (2023)

Keyphrases

mixed signal
reachability analysis
low power
multi channel
vlsi circuits
digital circuits
markov decision processes
power consumption
cmos technology
high speed
model checking
timed automata
low cost
low voltage
state space
optimal policy
real time
incremental algorithms
search space