Qingran Zheng

According to our database, Qingran Zheng authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

HFMV: hybridizing formal methods and machine learning for verification of analog and mixed-signal circuits.

Hanbin Hu, Qingran Zheng, Ya Wang, Peng Li

Proceedings of the 55th Annual Design Automation Conference, 2018