Coverage Driven Test Generation Framework for RTL Functional Verification. - Yang Guo 003; WanXia Qu; Tun Li; Sikun Li (CAD/Graphics, 2007)

Efficient Verification of Parameterized Cache Coherence Protocols. - Wanxia Qu; Yang Guo 003; Zhengbin Pang; Xiaodong Yang (ICYCS, 2008)

Explicit Model Checking Based on Integer Pointer and Fibonacci Hash. - WanXia Qu; Tun Li; Yang Guo 003; Xiaodong Yang (ICYCS, 2008)

State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction. - Yang Guo 003; WanXia Qu; Long Zhang 004; Weixia Xu (J. Supercomput., 2012)

A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems. - Long Zhang 004; Wenyan Hu; WanXia Qu; Yang Guo 003; Sikun Li (Mob. Inf. Syst., 2017)

An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks. - Long Zhang 004; WanXia Qu; Yinjia Huo; Yang Guo 003; Sikun Li (Wirel. Commun. Mob. Comput., 2018)

Symbolic Simulation Enhanced Coverage-Directed Fuzz Testing of RTL Design. - Tun Li; Hongji Zou; Dan Luo; WanXia Qu (ISCAS, 2021)

Towards Implementing RTL Microprocessor Agile Design Using Feature Oriented Programming. - Hongji Zou; Mingchuan Shi; Tun Li; WanXia Qu (DATE, 2022)

ESFO: Equality Saturation for FIRRTL Optimization. - Yan Pi; Hongji Zou; Tun Li; Wanxia Qu; Hai Wan (ACM Great Lakes Symposium on VLSI, 2023)

Towards Accelerating Assertion Coverage Using Surrogate Logic Models. - Tun Li; Mingchuan Shi; Hongji Zou; Wanxia Qu (ISCAS, 2023)

PyABV: a framework for enhancing PyRTL with assertion-based verification. - Yue Cheng; Tun Li; Hongji Zou; Wanxia Qu (Frontiers Comput. Sci., 2025)