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)

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