Qihe (骑河) A General-Purpose Static Analysis Framework for Verilog Fuyue (符钺) A Unified Program Analysis Framework for Chisel (Not Yet Released)
