Navigation Map

Choose your entry point based on your goals:

For Running Built-In Static Analyses

Start with Executing Analyses in Qihe. This guide shows you how to use our command-line tool to run built-in static analyses on Verilog programs with minimal setup.

For Developing New Static Analyses

Once you're comfortable with Executing Analyses in Qihe, dive into Developing Analyses in Qihe. This section guides you on how to use Qihe's core library to build and execute custom static analyses.

Note that Qihe's library-first design enables seamless integration into your own projects without concerns about Qihe's LGPL license, and we have also prepared an integration guide in Developing Analyses in Qihe to help you get started.

For Using Qihe Infrastructures Beyond Verilog Static Analysis

Some Qihe infrastructures are designed as stand-alone Java modules and can be useful beyond Verilog static analysis. These include:

• A Verilog front-end module for compiling Verilog programs into a high-level intermediate representation for various downstream language tasks.
• An analysis management module for managing analyses of programming languages other than Verilog.
• A utility module providing common data structures, algorithms, and tools for general software development.

Click the links above to explore their documentation and learn how to integrate them into your projects.