This is a slang-based frontend for Yosys undergoing active development. You can use it to read SystemVerilog sources into Yosys.
This combination of software projects (Yosys and Slang) is perfect, because:
Yosys, being a great and versatile tool for synthesis and formal flows, has its native Verilog frontend in less-than-perfect shape, with significant technical debt and with no realistic outlook toward adding full SystemVerilog support.
slang is a SystemVerilog parser and elaborator with a reputation of having gotten the fundamentals right.
News: The Microelectronics Design Center at ETH Zürich is now sponsoring yosys-slang development for usage in ASIC synthesis flows!
yosys-slang understands some synthesizable subset of SystemVerilog. For any user input, it should either emit a correct netlist (under synthesis semantics), or produce an error. If that's not the case, that's a serious bug.
To a user, the error messages can be cryptic and expose details about the inner workings of the frontend. Nonetheless they should point to the filename and line number with the offending input.
If you wish to sponsor the project's development, and prioritize certain features, please get in touch.
yosys-slang can parse a number of premier open-source IPs, including:
For details see the compat suite repository which documents sample command lines.
yosys-slang is on the CHIPS Alliance sv-tests dashboard where failing test cases and their error messages (with useful line numbers and AST dumps!) can be browsed. Note some tests on the sv-tests dashboard are misconfigured for testing a synthesis tool.
Prerequisities:
Yosys installed
Usual toolchains, CMake
Check out the repository including the submodule, e.g. with
git clone --recursive https://github.com/povik/yosys-slangThen build both slang and the build/slang.so plugin for Yosys:
make -j$(nproc)Use a custom -jN switch to build with N concurrent processes instead of matching the number of cores.
You load the plugin into Yosys on startup by passing the -m argument:
$ yosys -m build/slang.soOr, alternatively, you load the plugin at runtime with the plugin command:
plugin -i build/slang.soThe frontend is invoked with the read_slang command. The command accepts standard slang options, see help read_slang and slang documentation.
Sample usage:
read_slang picorv32.v --top picorv32 -D DEBUGContributions are welcome! If you intent to develop a particular feature, feel free to get in touch and consult on the appropriate approach.
The main glue code (slang_frontend.cc slang_frontend.h memory.h addressing.h) is distributed under the ISC license, see LICENSE. The initial_eval.cc code contains modified portions of Slang and is distributed under the terms of the MIT license, see the file header.