Exploiting Sophisticated Static Analysis for Verilog (Artifact)

This artifact accompanies the paper ``Exploiting Sophisticated Static Analysis for Verilog''. The paper introduces Qihe, a static analysis framework for Verilog. This artifact is provided solely to reproduce the Qihe results reported in the paper. For any use of Qihe beyond artifact reproduction, please obtain its latest open-source version from https://qihe.pascal-lab.net; up-to-date documentation is available at https://qihe-docs.pascal-lab.net. The version of Qihe included here is a frozen snapshot taken at submission time for artifact evaluation. Because Qihe is under active development, this snapshot may quickly become outdated; we therefore recommend using the latest version for reuse and extension.