Pinned repositories

  1. yosys

    Yosys Open SYnthesis Suite

    C++ 635 181

  2. nextpnr

    nextpnr portable FPGA place and route tool

    C++ 122 12

  3. SymbiYosys

    SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

    Python 31 8

  • nextpnr portable FPGA place and route tool

    C++ 122 12 ISC 1 issue needs help Updated Oct 14, 2018
  • Yosys Open SYnthesis Suite

    C++ 635 181 ISC Updated Oct 13, 2018
  • Benchmarks for Yosys development

    Python 5 ISC Updated Oct 7, 2018
  • Yosys Plugins

    Yacc 13 4 Updated Oct 7, 2018
  • Collection of test cases for Yosys

    SystemVerilog 3 Updated Sep 21, 2018
  • SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

    Python 31 8 Updated Sep 12, 2018
  • Place and route tool for FPGAs

    C++ 296 56 MIT Updated Sep 9, 2018
  • Benchmarks for nextpnr

    Jupyter Notebook 2 Updated Aug 14, 2018
  • Yosys Web Page

    HTML 1 3 Updated Jan 7, 2018
  • A Verilog Synthesis Regression Test

    Shell 15 4 Updated Jul 4, 2017
  • A collection of big designs to run post-synthesis simulations with yosys

    Verilog 17 6 Updated Oct 28, 2015
  • Various larger test cases for yosys

    Verilog 1 Updated May 26, 2013