Ziyue Zheng

According to our database, Ziyue Zheng authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

APE-FV: Concolic Testing for RTL Functional Verification Using Adaptive Path Exploration.

Ziyue Zheng, Xiangchen Meng, Yangdi Lyu

Proceedings of the 42nd IEEE International Conference on Computer Design, 2024

2023

STSearch: State Tracing-based Search Heuristics for RTL Validation.

Ziyue Zheng, Yangdi Lyu

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023