TY  - RPRT
TI  - Qihe: A General-Purpose Static Analysis Framework for Verilog
AU  - Qinlin Chen
AU  - Nairen Zhang
AU  - Jinpeng Wang
AU  - Jiacai Cui
AU  - Tian Tan
AU  - Xiaoxing Ma
AU  - Chang Xu
AU  - Jian Lu
AU  - Yue Li
PY  - 2026
UR  - https://arxiv.org/abs/2601.11408
ID  - 2601.11408
ER  -