From f19a57bc962d2654b1aa7635c7c093cc6804d83e Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Sun, 17 Nov 2024 08:12:29 +0100 Subject: [PATCH] Advertise Slang --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 71046f7..7a51d78 100644 --- a/README.md +++ b/README.md @@ -28,6 +28,7 @@ Contact us at contact@yosyshq.com to arrange a free evaluation license. ### Plugins * [GHDL plugin](https://github.com/ghdl/ghdl-yosys-plugin) VHDL synthesis based on GHDL (linux-x64, darwin-x64 and darwin-arm64 platforms only) + * [Slang plugin](https://github.com/povik/yosys-slang) SystemVerilog synthesis based on Slang ### Formal Tools * [sby (formerly SymbiYosys)](https://github.com/YosysHQ/sby) a front-end driver program for Yosys-based formal hardware verification flows.