Open rodrigomelo9 opened 7 months ago
Make sure you use the yosys built by Synlig, not any other Yosys you built yourself. The Yosys built by Synlig has the plugin installed. It looks like your plugin and Yosys are not compatible. Synlig has 100s of regressions passing on GitHub actions, none show the behavior you are seeing
I see... So, following "Installation" I can use the Yosys built by Debian, but with "Installation from source" I need a particular Yosys version... I will try.
Using
yosys
andsynlig
compiled from sources, I'm trying to convert SV into V (without synthesis), as follows:And it fails:
Some comments:
counter
exists). Moreover, I'm successfully doing the same with VHDL (usingghdl-yosys-plugin
).Running command
, a list of options is displayed? I think it was not there 5 months ago and it doesn't happen withghdl-yosys-plugin
.