WanXia Qu

11 papers A 1C 2Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
PyABV: a framework for enhancing PyRTL with assertion-based verification.
Frontiers Comput. Sci.
Yue Cheng, Tun Li, Hongji Zou, WanXia Qu
2023 — conf
ESFO: Equality Saturation for FIRRTL Optimization.
ACM Great Lakes Symposium on VLSI
Yan Pi, Hongji Zou, Tun Li, WanXia Qu, Hai Wan
2023 C conf
Towards Accelerating Assertion Coverage Using Surrogate Logic Models.
ISCAS
Tun Li, Mingchuan Shi, Hongji Zou, WanXia Qu
2022 A conf
Towards Implementing RTL Microprocessor Agile Design Using Feature Oriented Programming.
DATE
Hongji Zou, Mingchuan Shi, Tun Li, WanXia Qu
2021 C conf
Symbolic Simulation Enhanced Coverage-Directed Fuzz Testing of RTL Design.
ISCAS
Tun Li, Hongji Zou, Dan Luo, WanXia Qu
2018 J jnl
An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks.
Wirel. Commun. Mob. Comput.
Long Zhang, WanXia Qu, Yinjia Huo, Yang Guo, Sikun Li
2017 J jnl
A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems.
Mob. Inf. Syst.
Long Zhang, Wenyan Hu, WanXia Qu, Yang Guo, Sikun Li
2012 J jnl
State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction.
J. Supercomput.
Yang Guo, WanXia Qu, Long Zhang, Weixia Xu
2008 — conf
Efficient Verification of Parameterized Cache Coherence Protocols.
ICYCS
WanXia Qu, Yang Guo, Zhengbin Pang, Xiaodong Yang
2008 — conf
Explicit Model Checking Based on Integer Pointer and Fibonacci Hash.
ICYCS
WanXia Qu, Tun Li, Yang Guo, Xiaodong Yang
2007 — conf
Coverage Driven Test Generation Framework for RTL Functional Verification.
CAD/Graphics
Yang Guo, WanXia Qu, Tun Li, Sikun Li