A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verilator.
dockerfile
eda
z3
yosys
verilator
gowin
boolector
nmigen
symbiyosys
yices2
nextpnr-ice40
nextpnr-ecp5
amaranth
silice
openfpgaloader
-
Updated
Jun 14, 2023 - Dockerfile