Verification of digitally-intensive analog circuits via kernel ridge regression and hybrid reachability analysis.

Honghuang Lin Peng Li Chris J. Myers

Published in: DAC (2013)

Keyphrases

reachability analysis
analog circuits
model checking
kernel ridge regression
fault diagnosis
markov decision processes
kernel methods
digital circuits
timed automata
gradient boosting
neural network
parameter selection
finite state machines
incremental algorithms
optimal policy
real time
kernel matrix
fuzzy logic