Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

Dual variables in AMulet2

SystemVerilog to Verilog conversion

Yosys Open SYnthesis Suite