Login / Signup
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