our training servicesWe are available for hire to train you on how to better use our OSS synthesis tools. For professional users it just makes sense to invest some money to get some handholding to get up to speed faster, where hobby coder have more patience to figure it out themself.
support contract for YosysYou plan to use Yosys for chip or FPGA synthesis and want to have a commercial support contract? Talk to us.
formal verification toolboxDo 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.
We are a team of programmers developing opensource tools to design and debug digital circuits written in Verilog, VHDL SystemVerilog or SVA. We are the fathers of Yosys, icestorm and icoBoard.
things going on