From 3f2a1994df0c3672054e24b8de3a13f0d1bc0f7d Mon Sep 17 00:00:00 2001 From: tmeissner Date: Fri, 15 Jan 2021 19:20:10 +0100 Subject: [PATCH] Add hint to hdlc/formal docker images --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 6548abd..96c335d 100644 --- a/README.md +++ b/README.md @@ -24,6 +24,8 @@ Based on *symbiyosys.Dockerfile* * GHDL * ghdl-yosys-plugin +**A similar image is the [`hdlc/formal`](https://hub.docker.com/r/hdlc/formal/tags) docker image and its variants provided by the [hdl containers project](https://hdl.github.io/containers/). I recommend it because it is provided through docker hub. No need to build images by yourself.** + ## Further Ressources * [Yosys](https://github.com/YosysHQ/yosys)