Login / Signup
Safety Verification of AMS Circuits with Piecewise-Linear System Reachability Analysis.
Seyoung Kim
Heechun Park
Jaeha Kim
Published in:
ISOCC (2021)
Keyphrases
</>
piecewise linear
reachability analysis
model checking
asynchronous circuits
temporal logic
timed automata
dynamic programming
markov decision processes
chaotic map
finite sets
state space
regression algorithm
incremental algorithms
hyperplane
theorem prover