The Design Of UVM Verification Platform Based On Data Comparison. - Shengyuan Zhou; Shuqin Geng; Xiaohong Peng; Mingming Zhang 006; Menghao Chu; Pengkun Li; Hang Lu; Ronghao Zhu (EITCE, 2020)

Probabilistic Analysis for Sequential Circuits Verification Using Markov Chains. - Mingming Zhang 006; Shuqin Geng; Wensi Wang; Xiaohong Peng; Menghao Chu; Shengyuan Zhou; Zhonghou Zhang; Hang Lu; Pengkun Li; Ronghao Zhu (IEEE Trans. Circuits Syst. II Express Briefs, 2021)