Fang, Xinwei
- MEIC: Re-thinking RTL Debug Automation using LLMs
2024/05/10 by Ke Xu, Jialin Sun, Xu, Ke +11 · 14 citations
Business, Management and Accounting · Computer Science · Decision Sciences · #Advanced Database Systems and Queries #Business Process Modeling and Analysis #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Simulation Techniques and Applications #Software Engineering (cs.SE)
- UVLLM: An Automated Universal RTL Verification Framework using LLMs
2024/11/25 by Yu‐Chen Hu, Junhao Ye, Hu, Yuchen +24 · 10 citations
Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Network Time Synchronization Technologies #Real-Time Systems Scheduling
- Fast Parametric Model Checking through Model Fragmentation
2021/02/02 by Fang, Xinwei, Calinescu, Radu, Gerasimou, Simos +1 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Robotics (cs.RO) #Software Engineering (cs.SE)
- Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design
2025/03/06 by Zhou, Jie, Ji, Youshu, Wang, Ning +7 · 3 citations
#FOS: Computer and information sciences #Hardware Architecture (cs.AR)
- From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification
2025/04/28 by Junhao Ye, Ye, Junhao, Yuan Hu +18 · 3 citations
Computer Science · #Embedded Systems Design Techniques #Formal Methods in Verification #VLSI and Analog Circuit Testing