Shizhen Yu

According to our database, Shizhen Yu authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

2023

Model Checking TileLink Cache Coherence Protocols By Murphi.

Zimin Li, Yongjian Li, Kaifan Wang, Kun Ma, Shizhen Yu

Proceedings of the 41st IEEE International Conference on Computer Design, 2023

2022

CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper).

Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022