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