Skip to content

Commit

Permalink
Advertise Slang
Browse files Browse the repository at this point in the history
  • Loading branch information
mmicko committed Nov 17, 2024
1 parent 4763f1e commit f19a57b
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,7 @@ Contact us at [email protected] 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.
Expand Down

0 comments on commit f19a57b

Please sign in to comment.