CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper). - Shizhen Yu; Yifan Dong; Jiuyang Liu; Yong Li 031; Zhilin Wu; David N. Jansen; Lijun Zhang 001 (SEFM, 2022)

Model Checking TileLink Cache Coherence Protocols By Murphi. - Zimin Li; Yongjian Li; Kaifan Wang; Kun Ma; Shizhen Yu (ICCD, 2023)