Skip to content
Change the repository type filter

All

    Repositories list

    • oss-cad-suite-build

      Public
      Multi-platform nightly builds of open source digital design and verification tools
      Shell
      1081.3k737Updated Jan 8, 2026Jan 8, 2026
    • yosys

      Public
      Yosys Open SYnthesis Suite
      C++
      1k4.2k490108Updated Jan 8, 2026Jan 8, 2026
    • apicula

      Public
      Project Apicula 🐝: bitstream documentation for Gowin FPGAs
      Verilog
      83615203Updated Jan 7, 2026Jan 7, 2026
    • sby

      Public
      SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
      Python
      874854210Updated Jan 7, 2026Jan 7, 2026
    • riscv-formal

      Public
      RISC-V Formal Verification Framework
      Verilog
      3917473Updated Jan 6, 2026Jan 6, 2026
    • abc

      Public
      ABC: System for Sequential Logic Synthesis and Formal Verification
      C
      7193002Updated Jan 5, 2026Jan 5, 2026
    • nextpnr

      Public
      nextpnr portable FPGA place and route tool
      C++
      2791.6k11112Updated Jan 5, 2026Jan 5, 2026
    • prjpeppercorn

      Public
      Project Peppercorn - GateMate FPGA Bitstream Documentation
      Python
      33101Updated Dec 30, 2025Dec 30, 2025
    • prjpeppercorn-test-cases

      Public
      Project Peppercorn GateMate Test Cases
      Verilog
      61100Updated Dec 26, 2025Dec 26, 2025
    • mcy

      Public
      Mutation Cover with Yosys (MCY)
      C++
      148911Updated Dec 3, 2025Dec 3, 2025
    • eqy

      Public
      Equivalence checking with Yosys
      C++
      954220Updated Dec 3, 2025Dec 3, 2025
    • prjtrellis

      Public
      Documenting the Lattice ECP5 bit-stream format.
      Python
      964363714Updated Oct 27, 2025Oct 27, 2025
    • sby-gui

      Public
      GUI for SymbiYosys
      C++
      51771Updated Oct 13, 2025Oct 13, 2025
    • nerv

      Public
      Naive Educational RISC V processor
      SystemVerilog
      179421Updated Oct 12, 2025Oct 12, 2025
    • icestorm

      Public
      Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)
      Python
      2351.1k4720Updated Sep 22, 2025Sep 22, 2025
    • Project Trellis database
      121401Updated Sep 15, 2025Sep 15, 2025
    • scy

      Public
      Sequence of Covers with Yosys
      SystemVerilog
      1610Updated Sep 4, 2025Sep 4, 2025
    • Yosys RTLIL dialect for MLIR
      C++
      11310Updated Jun 12, 2025Jun 12, 2025
    • furo-ys

      Public
      A clean customizable documentation theme for Sphinx
      Sass
      369100Updated Apr 21, 2025Apr 21, 2025
    • mau

      Public
      Modular Application Utilities
      Python
      3510Updated Feb 12, 2025Feb 12, 2025
    • imctk

      Public
      Incremental Model Checking Toolkit
      Rust
      210411Updated Jan 30, 2025Jan 30, 2025
    • Verilog
      5622Updated Jan 16, 2025Jan 16, 2025
    • yosyshq.github.io

      Public
      HTML
      1400Updated Oct 7, 2024Oct 7, 2024
    • yosys-web

      Public
      Yosys Web Page
      HTML
      6210Updated Oct 7, 2024Oct 7, 2024
    • picorv32

      Public
      PicoRV32 - A Size-Optimized RISC-V CPU
      Verilog
      8883.9k6715Updated Jun 27, 2024Jun 27, 2024
    • A Verilog Synthesis Regression Test
      Shell
      123703Updated Mar 21, 2024Mar 21, 2024
    • Set up your GitHub Actions workflow with a OSS CAD Suite
      TypeScript
      31641Updated Mar 21, 2024Mar 21, 2024
    • padring

      Public
      A padring generator for ASICs
      C++
      122521Updated May 17, 2023May 17, 2023
    • .github

      Public
      0000Updated Apr 4, 2023Apr 4, 2023
    • yosys-manual-build

      Public archive
      Yosys manual
      Dockerfile
      0100Updated Oct 24, 2022Oct 24, 2022