Yicheng Liu (刘易铖)'s Homepage


  • Office: No. 617, Room 339, Building 5
  • Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
  • email: liuyic00#gmail.com

About me

I am currently a trainee in the group. My main research interests are:

  • Hardware Verification



  • Weizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen, Lijun Zhang, Zhilin Wu (): Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once. In 61st ACM/IEEE Design Automation Conference, DAC 2024, San Francisco, CA, USA, June 23-27, 2024, 2024.


  • The 2020 ICPC Asia-East Continent Final Silver Medal
  • The 45th ICPC Asia Regional Contest (Kunming Site) Gold Medal