Ni Hao 👋

I obtained my Ph.D. degree in Computer Science and Engineering from The Chinese University of Hong Kong in 2020, supervised by Prof. Evangeline F.Y. Young. Before that, I obtained my B.Eng. degree in Information Engineering from the Honors Youth Program of Xi’an Jiaotong University in 2016. My research interests include electronic design automation, hardware security, and combinatorial optimization.

Publications

Journal Articles

• Concerted wire lifting: Enabling secure and cost-effective split manufacturing [preprint] [code] [code]
  • Satwik Patnaik, Mohammed Ashraf, Haocheng Li, Johann Knechtel, Ozgur Sinanoglu
  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 41, no. 2, pp 266-280, 2022 (TCAD)
• Pin-Accessible Legalization for Mixed-Cell-Height Circuits [preprint] [code]
  • Haocheng Li, Wing-Kai Chow, Gengjie Chen, Bei Yu, Evangeline F.Y. Young
  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 41, no. 1, pp 143-154, 2022 (TCAD)
• Deep Learning Analysis for Split Manufactured Layouts with Routing Perturbation [preprint] [code] [code]
  • Haocheng Li, Satwik Patnaik, Mohammed Ashraf, Haoyu Yang, Johann Knechtel, Bei Yu, Ozgur Sinanoglu, Evangeline F.Y. Young
  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 40, no. 10, pp 1995-2008, 2021 (TCAD)
• Dr. CU: Detailed Routing by Sparse Grid Graph and Minimum-Area-Captured Path Search [preprint] [code]
  • Gengjie Chen, Chak-Wa Pui, Haocheng Li, and Evangeline F.Y. Young
  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 9, pp. 1902–1915, 2020 (TCAD)
• A Novel Method of Micro-Tomography Geometric Angle Calibration with Random Phantom [preprint]
  • Haocheng Li, Wei Hong, Yu Liu, and Xuanqin Mou
  • Journal of X-Ray Science and Technology, vol. 25, no. 4, pp. 641-652, 2017

Conference Proceedings

• Dr. CU 2.0: A Scalable Detailed Routing Framework with Correct-by-Construction Design Rule Satisfaction [preprint] [slides] [code]
  • Haocheng Li, Gengjie Chen, Bentian Jiang, Jingsong Chen, and Evangeline F.Y. Young
  • The 38th IEEE/ACM International Conference on Computer-Aided Design, Nov. 4-7, 2019, Westminster, CO, USA (ICCAD 2019)
• Attacking Split Manufacturing from a Deep Learning Perspective [preprint] [slides] [poster] [code] [code]
  • Haocheng Li, Satwik Patnaik, Abhrajit Sengupta, Haoyu Yang, Knechtel Johann, Bei Yu, Evangeline F.Y. Young, and Ozgur Sinanoglu
  • The 56th ACM/IEEE Design Automation Conference, June 2-6, 2019, Las Vegas, NV, USA (DAC 2019)
• Detailed Routing by Sparse Grid Graph and Minimum-Area-Captured Path Search [preprint] [slides] [code]
  • Gengjie Chen, Chak-Wa Pui, Haocheng Li, Jingsong Chen, Bentian Jiang, and Evangeline F.Y. Young
  • The 24th IEEE/ACM Asia and South Pacific Design Automation Conference, Jan. 21-24, 2019, Tokyo, Japan (ASPDAC 2019)
• Routability-Driven and Fence-Aware Legalization for Mixed-Cell-Height Circuits [preprint] [slides] [poster] [code]
  • Haocheng Li, Wing-Kai Chow, Gengjie Chen, Evangeline F.Y. Young, and Bei Yu
  • The 55th ACM/IEEE Design Automation Conference, June 24-29, 2018, San Francisco, CA, USA (DAC 2018)
• A Two-Step Search Engine For Large Scale Boolean Matching Under NP3 Equivalence [preprint]
  • Chak-Wa Pui, Peishan Tu, Haocheng Li, Gengjie Chen, and Evangeline F.Y. Young
  • The 23rd IEEE/ACM Asia and South Pacific Design Automation Conference, Jan. 22-25, 2018, Jeju Island, Korea (ASPDAC 2018)
• Bilinear Lithography Hotspot Detection [preprint] [slides]
  • Hang Zhang, Fengyuan Zhu, Haocheng Li, Evangeline F.Y. Young, and Bei Yu
  • The 26th ACM International Symposium on Physical Design, Mar. 19-22, 2017, Portland, OR, USA (ISPD 2017) Best Paper Award

Dissertation

• Advanced Node Physical Design, Attack and Anti-attack [preprint]
  • Haocheng Li
  • Ph.D., The Chinese University of Hong Kong, Jul., 2020, Sha Tin, NT, Hong Kong

Awards

• First Place at ISPD 2019 Contest on Initial Detailed Routing
• Second Place at ISPD 2018 Contest on Initial Detailed Routing
• First Place at ICCAD 2016 Contest on Non-Exact Projective NPNP Boolean Matching
• National Scholarship in 2013

Experiences

• Software Engineer Intern at Cadence Design Systems