cosa (pypi): CoreIR Symbolic Analyzer
Keywords: formal-methods|formal-verification|hardware-verification|model-checking|satisfiability-modulo-theories|systemverilog|verilog