Qihe: A General-Purpose Static Analysis Framework for Verilog

Qinlin Chen, Nairen Zhang, Jinpeng Wang +6

In the past decades, static analysis has thrived in software, facilitating applications in bug detection, security, and program understanding. These advanced analyses are largely u…