Travelled to:
2 × USA
Collaborated with:
P.Li C.J.Myers
Talks about:
reachabl (2) analysi (2) analog (2) verif (2) parallel (1) hierarch (1) regress (1) circuit (1) kernel (1) intens (1)
Person: Honghuang Lin
DBLP: Lin:Honghuang
Contributed to:
Wrote 2 papers:
- DAC-2014-LinL #analysis #parallel #reachability #verification
- Parallel Hierarchical Reachability Analysis for Analog Verification (HL, PL), p. 6.
- DAC-2013-LinLM #analysis #hybrid #kernel #reachability #verification
- Verification of digitally-intensive analog circuits via kernel ridge regression and hybrid reachability analysis (HL, PL, CJM), p. 6.