• This repository has been archived on 04/Nov/2021
  • Stars
    star
    289
  • Rank 143,419 (Top 3 %)
  • Language
    C
  • License
    GNU General Publi...
  • Created over 4 years ago
  • Updated about 3 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Multi-platform nightly builds of open source FPGA tools

FPGA-Toolchain

Build Status Discord

!!This Project is No Longer Maintained!!

Builds have stopped running, past releases will remain archived here for anyone that was depending on them in their workflow.

I recommend taking a look at oss-cad-suite-build for a similar package which is actively maintained by YosysHQ.

A more detailed list of various alternative packagings of these tools with various advantages and disadvantages can be found here.

Introduction

Multi-platform nightly builds of open source FPGA tools.

Currently included:

  • Yosys: RTL synthesis with extensive Verilog 2005 support
  • GHDL Yosys Plugin: experimental VHDL synthesis, built in to Yosys for your convenience!
  • GHDL: CLI tool supporting the Yosys plugin
  • SymbiYosys: Yosys-based formal hardware verification
  • Boolector: Engine for SymbiYosys
  • Yices2: Engine for SymbiYosys
  • Z3: Engine for SymbiYosys
  • Project Trellis: Tools for working with Lattice ECP5 bitstreams
  • Project IceStorm: Tools for working with Lattice ICE40 bitstreams
  • nextpnr: Timing-driven place and route for both ICE40 and ECP5 architectures
  • dfu-util: Device Firmware Upgrade Utilities
  • ecpprog: A basic driver for FTDI based JTAG probes, to program ECP5 FPGAs
  • openFPGALoader: Universal utility for programming FPGA

These tools are under active development (as are these build scripts), so please be prepared for things to break from time to time. In most cases you should be able to roll back to an older version while you wait for a fix.

Builds run at 0400 UTC daily from the master branch of each project.

Installation

  1. Download an archive matching your OS from the releases page.
  2. Extract the archive to a location of your choice
  3. Add the bin folder to your PATH:
MacOS and Linux: export PATH="<extracted_location>/fpga-toolchain/bin:$PATH"
Windows Powershell: $ENV:PATH = "<extracted_location>\fpga-toolchain\bin;" + $ENV:PATH
Windows cmd.exe: PATH=<extracted_location>\fpga-toolchain\bin;%PATH%

Windows users that prefer to use WSL can download fpga-toolchain-linux* to build under WSL and then use the native tools from fpga-toolchain-progtools-windows* to program their boards (since USB devices are not currently accessible in the WSL environment).

These builds should work for macOS 10.10 or newer - please report a bug if you have issues!

If you see errors about missing libraries (.so/.dll/.dylib) please report them in an issue here.

Using GHDL

If you would like to use the experimental GHDL Yosys plugin for VHDL on Linux or MacOS, you will need to set the GHDL_PREFIX environment variable. e.g. export GHDL_PREFIX=<install_dir>/fpga-toolchain/lib/ghdl. On Windows this is not necessary.

If you are using an existing Makefile set up for ghdl-yosys-plugin and see ERROR: This version of yosys is built without plugin support you probably need to remove -m ghdl from your yosys parameters. This is because the plugin is typically loaded from a separate file but it is provided built into yosys in this package.

Getting Help

If you run into issues with these tools, please consider reporting an issue to the authors of the tools - we are just compiling them here! If you think your issue relates to the way we have compiled them then it is more appropriate to open a GitHub issue here.

If you aren't sure where to report your issue or don't feel it fits on GitHub, you can also try sending a message in the #yosyshq channel on 1BitSquared's Discord server.

Related Projects

For portable WASM builds of these tools, check out YoWASP. Also check out nMigen for a powerful python-based approach to hardware description.

Credits

This is built on the work done by Sean Cross (xobs) for fomu-toolchain, which was built on the original work by FPGAWars:

Contributing

Contributions are welcome, see DEVELOPMENT.md for guidelines and technical details.

License

Licensed under a GPL v3 and Creative Commons Attribution-ShareAlike 4.0 International License.

More Repositories

1

yosys

Yosys Open SYnthesis Suite
C++
3,453
star
2

picorv32

PicoRV32 - A Size-Optimized RISC-V CPU
Verilog
2,627
star
3

nextpnr

nextpnr portable FPGA place and route tool
C++
1,300
star
4

icestorm

Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)
Python
987
star
5

oss-cad-suite-build

Multi-platform nightly builds of open source digital design and verification tools
Shell
780
star
6

apicula

Project Apicula ๐Ÿ: bitstream documentation for Gowin FPGAs
Verilog
445
star
7

arachne-pnr

Place and route tool for FPGAs
C++
411
star
8

sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Python
403
star
9

prjtrellis

Documenting the Lattice ECP5 bit-stream format.
Python
398
star
10

riscv-formal

RISC-V Formal Verification Framework
Verilog
94
star
11

mcy

Mutation Cover with Yosys (MCY)
C++
76
star
12

nerv

Naive Educational RISC V processor
SystemVerilog
68
star
13

yosys-bigsim

A collection of big designs to run post-synthesis simulations with yosys
Verilog
45
star
14

VlogHammer

A Verilog Synthesis Regression Test
Shell
30
star
15

eqy

Equivalence checking with Yosys
Python
29
star
16

padring

A padring generator for ASICs
C++
23
star
17

yosys-bench

Benchmarks for Yosys development
Verilog
21
star
18

yosys-plugins

Yosys Plugins
Yacc
21
star
19

yosys-tests

Collection of test cases for Yosys
Verilog
17
star
20

sby-gui

GUI for SymbiYosys
C++
12
star
21

setup-oss-cad-suite

Set up your GitHub Actions workflow with a OSS CAD Suite
TypeScript
10
star
22

prjtrellis-db

Project Trellis database
9
star
23

nextpnr-bench

Benchmarks for nextpnr
Jupyter Notebook
6
star
24

Sublime-Yosys

Yosys syntax highlighter for the Sublime Text 3 editor
5
star
25

yosyshq.github.io

www.yosyshq.net
HTML
4
star
26

mau

Modular Application Utilities
Python
4
star
27

nextpnr-tests

Verilog
4
star
28

yosys-oldtests

Various larger test cases for yosys
Verilog
4
star
29

yosys-web

Yosys Web Page
HTML
3
star
30

pyosys-tests

pyosys tests
Python
3
star
31

yosys-manual-build

Yosys manual
Dockerfile
1
star