Shizhen Yu

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Spatially Variant

Formal Verification

Top Venues

Publications

Zimin Li, Yongjian Li, Kaifan Wang, Kun Ma, Shizhen Yu
Model Checking TileLink Cache Coherence Protocols By Murphi. ICCD (2023)
Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang
CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper). SEFM (2022)