Hongji Zou

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Oriented Programming

Transition Matrix

Top Venues

ACM Great Lakes Symposium on VLSI

Publications

Tun Li, Mingchuan Shi, Hongji Zou, Wanxia Qu
Towards Accelerating Assertion Coverage Using Surrogate Logic Models. ISCAS (2023)
Yan Pi, Hongji Zou, Tun Li, Wanxia Qu, Hai Wan
ESFO: Equality Saturation for FIRRTL Optimization. ACM Great Lakes Symposium on VLSI (2023)
Yue Cheng, Hongji Zou, Jiayu He, Chen Chen, Tun Li, Han Long
MMFuzz: Towards Enhancing RTL Fuzz Testing Using Metric Feedbacks Based on Markov Chain. ATS (2023)
Dan Luo, Tun Li, Liqian Chen, Hongji Zou, Mingchuan Shi
Grammar-based fuzz testing for microprocessor RTL design. Integr. 86 (2022)
Hongji Zou, Mingchuan Shi, Tun Li, WanXia Qu
Towards Implementing RTL Microprocessor Agile Design Using Feature Oriented Programming. DATE (2022)
Tun Li, Hongji Zou, Dan Luo, WanXia Qu
Symbolic Simulation Enhanced Coverage-Directed Fuzz Testing of RTL Design. ISCAS (2021)