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

Honghuang Lin, Peng Li, Chris J. Myers

Browse the full DAC paper archive.