HFMV: hybridizing formal methods and machine learning for verification of analog and mixed-signal circuits. - Hanbin Hu; Qingran Zheng; Ya Wang; Peng Li 001 (DAC, 2018)