A collection of Dockerfiles for easy use of various free & open-source tools. Have fun!
Included tools:
- Yosys
- SymbiYosys
- Z3
- Yices2
- CVC4
- Boolector
- Bitwuzla
- Super Prove
Based on symbiyosys.Dockerfile
Included tools:
- All of symbiyosys.Dockerfile
- GHDL
- ghdl-yosys-plugin
A similar image is the hdlc/formal docker image and its variants provided by the hdl containers project. I recommend it because it is provided through docker hub. No need to build images by yourself.
Risc-V toolchain to develop programs for NEORV32 CPU. Built for instruction set rv32i and ABI ilp32.
Included tools:
- gcc
- gdb
- ...