Docker container with the complete opensource FPGA toolchain (ghdl, yosys, nextpnr, etc.)

• Bases on ghdl/synth:formal
  • Includes the tarball from ghdl/cache:formal
    • Includes YosysHQ/SymbiYosys (master)
    • Includes Z3Prover/z3 (master)
    • Based on Debian Buster
  • Includes python3
  • Based on ghdl/synth:beta
    • Includes ghdl from ghdl/synth:latest
      • Includes ghdl/ghdl
    • Includes ghdlsynth-beta built as a module for YosysHQ/yosys
    • Based on ghdl/cache:yosys-gnat
      • Includes libgnat-8
      • Based on ghdl/synth:yosys
        • Includes YosysHQ/yosys (master)
• Includes the tarball from ghdl/synth:icestorm
  • Includes cliffordwolf/icestorm (master)
• Includes the tarball from ghdl/synth:nextpnr
  • Includes YosysHQ/nextpnr (master)
• Includes git
• Includes iverilog
• Includes libboost-all-dev