What YosysHQ does

YosysHQ GmbH is a privately held Austrian company founded in February 2021 in Vienna, organized as a Gesellschaft mit beschränkter Haftung (GmbH). The company is the commercial steward and primary maintainer of Yosys and a portfolio of related open-source EDA projects, including SymbiYosys (SBY) for formal verification, MCY for formal mutation coverage, NextPNR for FPGA place-and-route, Project IceStorm and Project Trellis for Lattice iCE40 and ECP5 device support, CXXRTL for C++ simulation, Amaranth for Python-based hardware description, PicoRV32, riscv-formal, and sv2v. The team is small — approximately 12 people across two focus areas, synthesis and formal verification — and is led by CEO N. Engelhardt, CTO Claire Wolf (the original author of Yosys), and CSO Matt Venn.

YosysHQ operates a two-track commercial model built on this open-source foundation. The free OSS CAD Suite bundles the open-source projects for community download via GitHub, while the commercially licensed Tabby CAD Suite adds industrial-strength SystemVerilog (with assertions) and VHDL 1987–2019 front-ends, bundled third-party solvers (ABC, Boolector, Yices2, Z3), tighter integration into industrial design environments, and professional support. Revenue is generated through three streams: Tabby CAD Suite subscriptions, professional support and training contracts, and custom development of features, flows, and plugins, the last priced at a flat 6000€/month for full-time engagement. Customers span professional hardware designers, academic and research institutions (University of Oxford, TU Graz, University of Queensland, UC Santa Cruz), and space/aerospace organizations, with the European Space Agency having funded the company alongside NanoXplore to deliver open-source tooling for the NG-Ultra space-grade FPGA.

Distribution is community-led: marketing relies on the YosysHQ blog, a monthly newsletter, the Yosys User's Group community calls, conference presence (ORConf, DATE, LatchUp), and active engagement across LinkedIn, Bluesky, Mastodon, X, YouTube, and a Discourse forum. Commercial sales are pursued through direct enterprise contact and a download-based model for Tabby CAD Suite. The company has received development sponsorship from Mullvad but has no disclosed venture capital, private equity, or institutional funding, and the company is operating independently from its Vienna headquarters with a global customer footprint.

Name

YosysHQ

Legal name

YosysHQ GmbH

Website

https://yosyshq.com

Company type

Private

Founded year

2021

Operating status

Operating

Headcount range

1–10 employees

Short description

YosysHQ GmbH is a Vienna-based company that maintains the open-source Yosys RTL synthesis framework and related EDA tools, commercializing them through the Tabby CAD Suite, custom development, and support services for chip designers, academia, and aerospace customers.

Ownership category

akta.pro rank

Product category

Electronic Design Automation (EDA) Software

NAICS

Custom Computer Programming Services (541511), Computer Systems Design Services (541512)

SIC

Services-Prepackaged Software (7372), Services-Computer Programming Services (7371)

akta.pro primary industry

EDA Software Platforms (Digital Implementation, Verification & Signoff) (HDAHAFAA)

akta.pro secondary industry

EDA Cloud/SaaS, Design Data Management & Collaboration (HDAHAFAJ)

Keywords

• Open-source EDA
• RTL synthesis
• Formal verification
• FPGA place-and-route
• Digital design automation

Headquarters

HQ city

Vienna

HQ country

Austria

HQ region

Europe

Offices1 record

Markets served

GTM type

B2B

Offering type

Software

Cost components

Personnel, Technology or R&D, Infrastructure, Marketing or Sales, Operations

Revenue model

1. Tabby CAD Suite: Commercial software packages bundling open source EDA tools with additional components for seamless integration in industrial digital design environments. New tools are automatically added at no extra cost.
2. Support and Training: Professional support and training services for users of Tabby CAD Suite and developers building on top of open source projects.
3. Custom Development: Custom development of individual features, entire flows, and plugins based on open source software components. Also includes support for developers working on custom projects.

Pricing tiers

Go-to-market motion1 record

Distribution channels4 records

Marketing channels8 records

Core offering

YosysHQ develops, maintains, and commercially packages open-source Electronic Design Automation (EDA) tools for digital hardware design. Its primary commercial offering is the Tabby CAD Suite — a subscription bundle of Yosys RTL synthesis, SymbiYosys formal verification, MCY mutation coverage, NextPnR FPGA place-and-route, and integrated third-party solvers — complemented by custom development, support, and training services for industrial and academic users.

Product overview

YosysHQ offers a two-track product strategy: a freely available OSS CAD Suite (open-source, community-built) and a commercially supported Tabby CAD Suite. The OSS CAD Suite bundles all YosysHQ open-source projects — Yosys (RTL synthesis framework), SBY/SymbiYosys (formal property checking), MCY (formal mutation coverage), NextPnR (FPGA place-and-route), Project IceStorm (iCE40 bitstream tooling), Project Trellis (ECP5 tooling), CXXRTL (C++ simulation backend), riscv-formal (RISC-V verification), PicoRV32 (RISC-V CPU core), Amaranth (Python HDL), and sv2v (SystemVerilog-to-Verilog converter) — with bundled third-party solvers (ABC, Boolector, Yices2, Z3, and others). Tabby CAD Suite is the commercial product built on top of this open-source foundation: it packages the same tools with added industrial HDL support (SystemVerilog assertions, VHDL), tighter integration into industry design environments, support and training, and custom development services. Tools are automatically added to Tabby CAD Suite as they are developed, at no extra cost.

Differentiator

Problem solved

Functional benefit

Brands

• Tabby CAD Suite: Commercial bundle of Open Source EDA software packages combined with additional components for seamless integration in industrial digital design environments.
• OSS CAD Suite
• Yosys
• SymbiYosys (SBY)
• NextPNR
• MCY

Products and services

• Tabby CAD Suite Commercially supported bundle of YosysHQ's open-source EDA tools with additional components for seamless integration in industrial digital design environments. Includes Yosys with industrial SystemVerilog, SVA, and VHDL support, SBY Formal Property Checker, MCY Formal Mutation Coverage Tool, NextPnR multi-architecture place-and-route, and bundled third-party solvers (ABC, Boolector, Yices2, Z3). Designed for professional hardware designers adopting industrial-grade synthesis and verification tooling, with new tools automatically added at no extra cost.
• OSS CAD Suite Fully open-source, freely available bundle of YosysHQ's EDA tools, serving as the community version of the tooling available in Tabby CAD Suite. Built and distributed via the OSS CAD Suite GitHub repository and intended for individual developers, hobbyists, academics, and researchers.
• Yosys Framework for RTL synthesis with extensive Verilog-2005 support and a basic set of synthesis algorithms for various application domains; the core component of most YosysHQ implementation and verification flows.
• SBY (SymbiYosys) Front-end for Yosys-based formal verification flows supporting unbounded and bounded verification of safety and liveness properties, reachability checks for cover properties, and integration with state-of-the-art SMT solvers and hardware model checkers.
• MCY Formal mutation coverage tool that helps digital designers and project managers understand and improve testbench coverage by formally analyzing what the testbench is actually testing.
• NextPnR Vendor-neutral, timing-driven, open-source FPGA place-and-route tool supporting a range of FPGAs including Lattice iCE40 and ECP5 devices.
• Custom Development Services Custom development of individual features, entire flows, and plugins based on YosysHQ's open-source software components for enterprise customers with specific design requirements, including support for developers working on custom projects. Priced at €6000/month flat rate for full-time contract work (Synthesis or Formal Verification developer), with only days per week negotiable.
• Professional Support and Training Professional support and training services for users of the Tabby CAD Suite and developers building on top of YosysHQ's open-source projects.

Quantifiable outcome

• Over 600 chip tape-outs across various process nodes enabled by open-source EDA tools
• +1 more outcomes

Named customers5 records

Segments4 records

Ideal customer profiles2 records

Technology focussed Yes

API detail

Has API

No

API docs

API detail

Core technology

AI maturity

App detail

Feature8 records

Partnerships

Two partnerships are on record, tiered core.

• NanoXplorecoreStrategic or Co-development PartnerEuropean Space Agency funded project in collaboration with NanoXplore to add open source support for their NG-Ultra space-grade FPGAs (500,000 LUTs). Successfully concluded in November 2024.
• European Space Agency (ESA)coreStrategic or Co-development PartnerESA funded project to develop open source FPGA toolchain support for NanoXplore's space-rated FPGAs. Project completed November 2024, providing developers with a flexible option for designing for NG-Ultra FPGAs.

Scale indicators3 records

Recent moves6 records

Expansion highlights6 records

Emerging players

• Rapid Silicon: Rapid Silicon offers FPGA EDA tools and a place-and-route suite (RapidWright, Gemini) targeting FPGA design, with an open-source tilt. It overlaps with YosysHQ's NextPNR-based FPGA flow and is positioned in the same niche of trying to industrialize open-source FPGA tooling for commercial users.
• Efabless: Efabless operates an open-source chip-creation platform for community-designed ASICs and MPW tape-outs, integrated with open-source tools including Yosys and OpenLane. It is comparable to YosysHQ as a fellow open-source EDA/silicon enabler serving the same grassroots chip-design community.
• Verilator: Verilator is the leading open-source Verilog/SystemVerilog simulator, commonly used alongside Yosys for simulation and verification flows in the open-source hardware community. It is a peer in the open-source HDL tooling ecosystem and a frequent companion to YosysHQ's product suite.
• OpenROAD Project: OpenROAD is an open-source, foundry-grade RTL-to-GDS digital implementation flow maintained across UCSD and partners. It consumes Yosys for synthesis in some flows and is a co-ecosystem peer rather than a direct competitor: YosysHQ's synthesis outputs feed OpenROAD's place-and-route, making them complementary components of the same open-source EDA stack.
• Antmicro: Antmicro builds open-source tooling, FPGA/SoM development, and RISC-V enablement services, frequently using and contributing to Yosys, Verilator, and LiteX. It competes with YosysHQ in providing open-source-driven custom hardware development and RTL tooling services for industrial clients.
• ChipFlow: ChipFlow provides open-source chip design tools and flows with a focus on lowering the entry barrier for ASIC development. It targets the same community of low-cost, open-source chip designers that YosysHQ serves via OSS CAD Suite and offers overlapping capabilities in synthesis and design automation.

Broad incumbents

• Siemens EDA (Mentor Graphics): Siemens EDA, formerly Mentor Graphics, offers synthesis and verification tools (Catapult, Questa, Calibre) and is the third major EDA incumbent. It overlaps with YosysHQ's RTL synthesis and formal verification space and competes for the same industrial digital design customers.
• Synopsys: Synopsys is the largest commercial EDA vendor, offering synthesis (Design Compiler), formal verification, P&R, and a broad IP portfolio across digital and analog design. It directly overlaps with YosysHQ's synthesis and formal verification capabilities but operates as a full-stack, certified incumbent targeting the same chip-design customers.
• Cadence Design Systems: Cadence is a leading EDA incumbent providing digital and signoff tools (Genus, Joules, Innovus) plus verification (Xcelium, Jasper). It competes with YosysHQ across synthesis, formal, and FPGA-style flows and represents one of the three commercial juggernaut alternatives in the EDA category.

Direct peers

• OneSpin Solutions: OneSpin is a specialist formal verification vendor with a tightly focused tool (the 360 formal verification platform) used for safety-critical designs. It competes most directly with YosysHQ's SBY/SymbiYosys offering in the formal verification segment of the EDA market.

Market position

Strengths5 records

Weaknesses5 records

Competitive moat5 records

Key risks6 records

Key highlights7 records

Customer concentration

• Xx.com/yosyshq
• GitHubgithub.com/YosysHQ
• YouTubeyoutube.com/channel/UC4Mo7c_7tN2WkV9rlRWK7w
• LinkedInlinkedin.com/company/yosyshq

Revenue estimate

Valuation estimate

Number of profiles

Profiles3 records

Funding overview

Funding rounds

Investors

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about YosysHQ