Wanxia Qu

According to our database, Wanxia Qu authored at least 10 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards Accelerating Assertion Coverage Using Surrogate Logic Models.

Tun Li, Mingchuan Shi, Hongji Zou, Wanxia Qu

Proceedings of the IEEE International Symposium on Circuits and Systems, 2023

ESFO: Equality Saturation for FIRRTL Optimization.

Yan Pi, Hongji Zou, Tun Li, Wanxia Qu, Hai Wan

Proceedings of the Great Lakes Symposium on VLSI 2023, 2023

2022

Towards Implementing RTL Microprocessor Agile Design Using Feature Oriented Programming.

Hongji Zou, Mingchuan Shi, Tun Li, WanXia Qu

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

Symbolic Simulation Enhanced Coverage-Directed Fuzz Testing of RTL Design.

Tun Li, Hongji Zou, Dan Luo, WanXia Qu

Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

2018

An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks.

Long Zhang, WanXia Qu, Yinjia Huo, Yang Guo, Sikun Li

Wirel. Commun. Mob. Comput., 2018

2017

A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems.

Long Zhang, Wenyan Hu, WanXia Qu, Yang Guo, Sikun Li

Mob. Inf. Syst., 2017

2012

State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction.

Yang Guo, WanXia Qu, Long Zhang, Weixia Xu

J. Supercomput., 2012

2008

Explicit Model Checking Based on Integer Pointer and Fibonacci Hash.

WanXia Qu, Tun Li, Yang Guo, Xiaodong Yang

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Efficient Verification of Parameterized Cache Coherence Protocols.

Wanxia Qu, Yang Guo, Zhengbin Pang, Xiaodong Yang

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

2007

Coverage Driven Test Generation Framework for RTL Functional Verification.

Yang Guo, WanXia Qu, Tun Li, Sikun Li

Proceedings of the 10th International Conference on Computer-Aided Design and Computer Graphics, 2007