Statistics
Publications
4
Citations
205
H-Index
4
Active since
1998
Affiliations
Ying Liu is an author at Wuhan University of Science and Technology specializing in engineering, formal methods, and system software.
Publications per year
1998–2024
4
4
Functional verification of large ASICs
Adrian Evans, A.L. Silburt, G. Vrckovnik et al. · 1998 · 46 citations · Full text
Hardware Modeling, Engineering, Hardware Verification Language +18
Learning path design on knowledge graph by using reinforcement learning
Jingheng Wang, Yiping Zhang, Liqian Sun et al. · 2023 · 10 citations
1–4 of 4