Do you want to hunt those bugs which are difficult to discover by in-circuit testing or by simulation? We offer you our SymbiYosys set of tools. For designers of Risc-V cores, we offer a formal verification suite to demonstrate formally the correct implementation of all instructions.