FPGA dev docker

Version: 0.3

Date: 2021.10.05

Docker image for FPGA development and verification. Programmes included in the image:

• Cocotb 1.5.2
• GHDL 1.0.0 (llvm)
• GHDL-Yosys-Plugin 45da327
• Icarus Verilog 11.0
• SymbiYosys 15278f1
• VUnit 4.5.0
• Yices 2.6.2
• Yosys 0.10