Towards Accelerating Assertion Coverage Using Surrogate Logic Models
Li, Tun, Shi, Mingchuan, Zou, Hongji, Qu, Wanxia
Published in 2023 IEEE International Symposium on Circuits and Systems (ISCAS) (21.05.2023)
Published in 2023 IEEE International Symposium on Circuits and Systems (ISCAS) (21.05.2023)
Get full text
Conference Proceeding
Symbolic Simulation Enhanced Coverage-Directed Fuzz Testing of RTL Design
Li, Tun, Zou, Hongji, Luo, Dan, Qu, Wanxia
Published in 2021 IEEE International Symposium on Circuits and Systems (ISCAS) (01.05.2021)
Published in 2021 IEEE International Symposium on Circuits and Systems (ISCAS) (01.05.2021)
Get full text
Conference Proceeding
Towards Implementing RTL Microprocessor Agile Design Using Feature Oriented Programming
Zou, Hongji, Shi, Mingchuan, Li, Tun, Qu, Wanxia
Published in 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) (14.03.2022)
Published in 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) (14.03.2022)
Get full text
Conference Proceeding
An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks
Guo, Yang, Huo, Yinjia, Qu, Wanxia, Zhang, Long, Li, Sikun
Published in Wireless communications and mobile computing (01.01.2018)
Published in Wireless communications and mobile computing (01.01.2018)
Get full text
Journal Article
A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems
Guo, Yang, Qu, Wanxia, Hu, Wenyan, Zhang, Long, Li, Sikun
Published in Mobile information systems (01.01.2017)
Published in Mobile information systems (01.01.2017)
Get full text
Journal Article
State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction
Guo, Yang, Qu, Wanxia, Zhang, Long, Xu, Weixia
Published in The Journal of supercomputing (01.11.2012)
Published in The Journal of supercomputing (01.11.2012)
Get full text
Journal Article
Efficient Verification of Parameterized Cache Coherence Protocols
WanXia Qu, Yang Guo, ZhengBin Pang, XiaoDong Yang
Published in 2008 The 9th International Conference for Young Computer Scientists (01.11.2008)
Published in 2008 The 9th International Conference for Young Computer Scientists (01.11.2008)
Get full text
Conference Proceeding
Explicit Model Checking Based on Integer Pointer and Fibonacci Hash
WanXia Qu, Tun Li, Yang Guo, XiaoDong Yang
Published in 2008 The 9th International Conference for Young Computer Scientists (01.11.2008)
Published in 2008 The 9th International Conference for Young Computer Scientists (01.11.2008)
Get full text
Conference Proceeding
CPGPUSim: A Multi-dimensional Parallel Acceleration Framework for RTL Simulation
Tian, Xi, Yue, Cheng, Pi, Yan, Li, Tun, Qu, Wanxia
Published in 2024 2nd International Symposium of Electronics Design Automation (ISEDA) (10.05.2024)
Published in 2024 2nd International Symposium of Electronics Design Automation (ISEDA) (10.05.2024)
Get full text
Conference Proceeding
On Accelerating PyRTL Simulation with Essential Signal Simulation Techniques
Pi, Yan, Cheng, Yue, Tian, Xi, Li, Tun, Qu, Wanxia
Published in 2023 International Symposium of Electronics Design Automation (ISEDA) (08.05.2023)
Published in 2023 International Symposium of Electronics Design Automation (ISEDA) (08.05.2023)
Get full text
Conference Proceeding
Towards Evaluating SEU Type Soft Error Effects with Graph Attention Network
Li, Zhangyu, Li, Tun, Liu, Chang, Wang, Liang, Liu, Chunxue, Guo, Yang, Qu, Wanxia
Published in 2024 2nd International Symposium of Electronics Design Automation (ISEDA) (10.05.2024)
Published in 2024 2nd International Symposium of Electronics Design Automation (ISEDA) (10.05.2024)
Get full text
Conference Proceeding
Experimental investigation of SEUs Induced by Heavy Ions in 28-nm FDSOI SRAMs
Xu, Jingyan, Guo, Yang, Song, Ruiqiang, Chi, Yaqing, Liang, Bin, Hu, Chunmei, Qu, Wanxia
Published in 2019 19th European Conference on Radiation and Its Effects on Components and Systems (RADECS) (01.09.2019)
Published in 2019 19th European Conference on Radiation and Its Effects on Components and Systems (RADECS) (01.09.2019)
Get full text
Conference Proceeding
Large-scale parallel computer system sectionalized parallel starting method
WANXIA QU, YIYI HU, YONGPENG LIU, XIANGYU SU, XU CHEN, GUANGMING LIU, BAOHUA TIAN, MINGLING ZHENG, JUPING JIANG
Year of Publication 07.09.2005
Get full text
Year of Publication 07.09.2005
Patent
Circuit connecting line conducting test method based on dichotomy
RONGSHENG XU, WANXIA QU, YONGPENG LIU, XIANGYU SU, LIQUAN XIAO, YUFENG LUO, BAOHUA TIAN, JUPING JIANG
Year of Publication 07.09.2005
Get full text
Year of Publication 07.09.2005
Patent
Anti-radiation charge pump phase-locked loop based on zero-pole dual backup
SONG RUIQIANG, LIANG BIN, CHI YAQING, XU XINYU, LIU BIWEI, QU WANXIA, YUAN HENGZHOU, GUO YANG, CHEN JIANJUN, HU CHUNMEI, LUO DENG, WU ZHENYU, WU ZIRUI
Year of Publication 11.07.2023
Get full text
Year of Publication 11.07.2023
Patent