YosysHQ

YosysHQ is the organization that maintains Yosys and related open-source Electronic Design Automation (EDA) projects. They provide commercial software packages, including the Tabby CAD Suite, as well as custom development, support, and training for professional users. The company focuses on pushing the boundaries of EDA, offering tools for RTL synthesis and formal verification to a diverse audience of professionals, hobbyists, and academics.