Scholar
Xinwei Fang
Google Scholar ID: TasYq_oAAAAJ
University of York
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
225
H-index
8
i10-index
7
Publications
20
Co-authors
9
list available
Publications
6 items
UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification
2026
Cited
0
InsTraj: Instructing Diffusion Models with Travel Intentions to Generate Real-world Trajectories
2026
Cited
0
ISAAC: Intelligent, Scalable, Agile, and Accelerated CPU Verification via LLM-aided FPGA Parallelism
2025
Cited
0
From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification
2025
Cited
0
Exploiting the Uncertainty of the Longest Paths: Response Time Analysis for Probabilistic DAG Tasks
2025
Cited
0
Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design
2025
Cited
0
Co-authors
7 total
Zhe Jiang
Southeast University, People's Republic of China.
Radu Calinescu
Professor of Computer Science, University of York
Iain Bate
Real-Time Systems Group (RTSRG), University of York
Simos Gerasimou
Associate Professor (Senior Lecturer) in Computer Science, University of York
Sander Oude Elberink
University of Twente
Kourosh Khoshelham
University of Melbourne
Colin Paterson
University of York
