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)

Grammar-based fuzz testing for microprocessor RTL design. - Dan Luo; Tun Li; Liqian Chen; Hongji Zou; Mingchuan Shi (Integr., 2022)

MMFuzz: Towards Enhancing RTL Fuzz Testing Using Metric Feedbacks Based on Markov Chain. - Yue Cheng; Hongji Zou; Jiayu He; Chen Chen; Tun Li; Han Long (ATS, 2023)

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)