Qihe (骑河)

A General-Purpose Static Analysis Framework for Verilog

Qihe (骑河) is the first general-purpose static analysis framework for Verilog. It offers a comprehensive suite of analyses tailored for diverse hardware analysis tasks. To access full open-source code of Qihe, please visit our website! To learn about Qihe’s research insights, please read our PLDI paper (Chen et al., 2026) and technical report (Chen et al., 2026)

Qihe's Well-Organized Comprehensive Analyses Suite

References

2026

  1. PLDI 2026
    qihe-preview.png
    Exploiting Sophisticated Static Analysis for Verilog
    Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan*, Xiaoxing Ma, Chang Xu, Jian Lu, and Yue Li*
    47th ACM SIGPLAN Conference on Programming Language Design and Implementation, Boulder, Colorado, United States, Jun 2026
    DOI PDF Supp Video Code Slides Website
  2. Qihe Project
    qihe-logo.png
    Qihe: A General-Purpose Static Analysis Framework for Verilog
    Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan*, Xiaoxing Ma, Chang Xu, Jian Lu, and Yue Li*
    Technical Report, Nanjing, China, Jan 2026
    arXiv PDF Website