Shijie Chen (陈世杰)'s Homepage
Contact
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- email:
1042653777###qq*com
About me
I am currently a master student in the group. My main research interests are:
- Hardware verification
Education
- Sept. 2021 – July. 2025: Computer Science and Technology (Bachelor’s degree) at Northwestern Polytechnical University
Publications
- Shidong Shen, Shijie Chen, Yicheng Liu, Lijun Zhang, Fu Song, Zhilin Wu. χRVFormal: Formal Verification of RISC-V Processor Chisel Designs. Journal of Systems Architecture, 2026. DOI