Login / Signup
Qingran Zheng
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Formal Methods
Model Checker
Low Voltage
Vlsi Circuits
Top Venues
DAC
</>
Publications
</>
Hanbin Hu
,
Qingran Zheng
,
Ya Wang
,
Peng Li
HFMV: hybridizing formal methods and machine learning for verification of analog and mixed-signal circuits.
DAC
(2018)