Contact
- Office: No. 618, Room 339, Building 5
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- email:
yusz###ios**ac*cn
About me
I am currently a Ph.D student in the group. My main research interests are:
- Hardware Verification
Education
- Sept. 2020 – present: Ph.D. Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
- Sept. 2019 – Jun. 2020: Electronic information Science and Technology (Bachelor’s degree) at Beijing Normal University
Publications
- : CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper). In Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings, volume 13550 of Lecture Notes in Computer Science, pages 324-331, 2022. DOI BIB