Skip to content

@YosysHQ Yosys Headquarters

Change the repository type filter

All

    Repositories list

    38 repositories

    • imctk

      Public
      Incremental Model Checking Toolkit
      Rust
      •
      Other
      •2•5•10•1•Updated Nov 26, 2024Nov 26, 2024

    • apicula

      Public
      Project Apicula 🐝: bitstream documentation for Gowin FPGAs
      Verilog
      •
      MIT License
      •68•497•13•5•Updated Nov 26, 2024Nov 26, 2024

    • yosys

      Public
      Yosys Open SYnthesis Suite
      C++
      •
      ISC License
      •895•3.5k•454•127•Updated Nov 26, 2024Nov 26, 2024

    • nextpnr

      Public
      nextpnr portable FPGA place and route tool
      C++
      •
      ISC License
      •245•1.3k•94•10•Updated Nov 26, 2024Nov 26, 2024

    • oss-cad-suite-build

      Public
      Multi-platform nightly builds of open source digital design and verification tools
      Shell
      •
      ISC License
      •77•868•48•1•Updated Nov 26, 2024Nov 26, 2024

    • eqy

      Public
      Equivalence checking with Yosys
      Python
      •
      Other
      •5•31•10•0•Updated Nov 8, 2024Nov 8, 2024

    • sby

      Public
      SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
      Python
      •
      Other
      •76•408•42•13•Updated Nov 7, 2024Nov 7, 2024

    • mcy

      Public
      Mutation Cover with Yosys (MCY)
      C++
      •
      ISC License
      •9•77•1•0•Updated Nov 5, 2024Nov 5, 2024

    • abc

      Public
      ABC: System for Sequential Logic Synthesis and Formal Verification
      C
      •
      Other
      •593•27•0•2•Updated Nov 5, 2024Nov 5, 2024

    • riscv-formal

      Public
      RISC-V Formal Verification Framework
      Verilog
      •
      ISC License
      •24•112•3•3•Updated Oct 16, 2024Oct 16, 2024

    • nerv

      Public
      Naive Educational RISC V processor
      SystemVerilog
      •
      Other
      •12•74•1•2•Updated Oct 13, 2024Oct 13, 2024

    • yosyshq.github.io

      Public
      www.yosyshq.net
      HTML
      •1•4•0•0•Updated Oct 7, 2024Oct 7, 2024

    • yosys-web

      Public
      Yosys Web Page
      HTML
      •6•3•1•0•Updated Oct 7, 2024Oct 7, 2024

    • nextpnr-tests

      Public
      Verilog
      •
      ISC License
      •5•4•0•1•Updated Sep 20, 2024Sep 20, 2024

    • mau

      Public
      Modular Application Utilities
      Python
      •
      ISC License
      •3•4•1•0•Updated Aug 12, 2024Aug 12, 2024

    • icestorm

      Public
      Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)
      Python
      •
      ISC License
      •225•1k•38•17•Updated Jul 26, 2024Jul 26, 2024

    • picorv32

      Public
      PicoRV32 - A Size-Optimized RISC-V CPU
      Verilog
      •
      ISC License
      •761•3.2k•57•11•Updated Jun 27, 2024Jun 27, 2024

    • furo-ys

      Public
      A clean customizable documentation theme for Sphinx
      Sass
      •
      MIT License
      •322•0•0•0•Updated Jun 11, 2024Jun 11, 2024

    • VlogHammer

      Public
      A Verilog Synthesis Regression Test
      Shell
      •8•34•0•2•Updated Mar 21, 2024Mar 21, 2024

    • setup-oss-cad-suite

      Public
      Set up your GitHub Actions workflow with a OSS CAD Suite
      TypeScript
      •
      ISC License
      •2•14•3•0•Updated Mar 21, 2024Mar 21, 2024

    • sby-gui

      Public
      GUI for SymbiYosys
      C++
      •
      ISC License
      •4•12•7•0•Updated Mar 21, 2024Mar 21, 2024

    • prjtrellis

      Public
      Documenting the Lattice ECP5 bit-stream format.
      Python
      •
      Other
      •87•399•33•12•Updated Jan 29, 2024Jan 29, 2024

    • scy

      Public
      Sequence of Covers with Yosys
      SystemVerilog
      •
      Other
      •1•5•1•0•Updated Jan 29, 2024Jan 29, 2024

    • prjtrellis-db

      Public
      Project Trellis database
      Creative Commons Zero v1.0 Universal
      •10•12•0•1•Updated Oct 4, 2023Oct 4, 2023

    • padring

      Public
      A padring generator for ASICs
      asicedachipvlsiyosys
      C++
      •
      ISC License
      •8•22•2•1•Updated May 17, 2023May 17, 2023

    • .github

      Public
      0•0•0•0•Updated Apr 4, 2023Apr 4, 2023

    • yosys-manual-build

      Public archive
      Yosys manual
      Dockerfile
      •0•0•0•0•Updated Oct 24, 2022Oct 24, 2022

    • yosys-tests

      Public
      Collection of test cases for Yosys
      Verilog
      •7•17•1•1•Updated Jan 4, 2022Jan 4, 2022

    • fpga-toolchain

      Public archive
      Multi-platform nightly builds of open source FPGA tools
      C
      •
      GNU General Public License v3.0
      •26•291•21•2•Updated Nov 3, 2021Nov 3, 2021

    • pyosys-tests

      Public
      pyosys tests
      Python
      •
      ISC License
      •2•4•1•0•Updated Nov 27, 2020Nov 27, 2020