Login / Signup
Ronghao Zhu
ORCID
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Historical Data
Probabilistic Automata
Monte Carlo Method
Transition Probabilities
Top Venues
IEEE Trans. Circuits Syst. II Express Briefs
EITCE
</>
Publications
</>
Mingming Zhang
,
Shuqin Geng
,
Wensi Wang
,
Xiaohong Peng
,
Menghao Chu
,
Shengyuan Zhou
,
Zhonghou Zhang
,
Hang Lu
,
Pengkun Li
,
Ronghao Zhu
Probabilistic Analysis for Sequential Circuits Verification Using Markov Chains.
IEEE Trans. Circuits Syst. II Express Briefs
68 (1) (2021)
Shengyuan Zhou
,
Shuqin Geng
,
Xiaohong Peng
,
Mingming Zhang
,
Menghao Chu
,
Pengkun Li
,
Hang Lu
,
Ronghao Zhu
The Design Of UVM Verification Platform Based On Data Comparison.
EITCE
(2020)