![[IEEE 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - San Francisco, CA (2018.6.24-2018.6.28)] 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - HFMV: Hybridizing Formal Methods and Machine Learning for Verification of Analog and Mixed-Signal Circuits]()
[IEEE 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - San Francisco, CA (2018.6.24-2018.6.28)] 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - HFMV: Hybridizing Formal Methods and Machine Learning for Verification of Analog and Mixed-Signal CircuitsHu, Hanbin; Zheng, Qingran; Wang, Ya; Li, Peng · 2018