A collection of Dockerfiles for easy use of various free & open-source tools. Have fun!
- Super Prove
Based on symbiyosys.Dockerfile
- All of symbiyosys.Dockerfile
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.