Yosys has quite limited support for SystemVerilog, and sv2v can often save the day. I noticed that Surelog is included, however I still think it would be nice to include sv2v :-)
sv2v is a Haskell project - hopefully that's not a showstopper given that it includes a GitHub workflow to produce binaries.
Could https://github.com/zachjs/sv2v be added?
Yosys has quite limited support for SystemVerilog, and sv2v can often save the day. I noticed that Surelog is included, however I still think it would be nice to include sv2v :-)
sv2v is a Haskell project - hopefully that's not a showstopper given that it includes a GitHub workflow to produce binaries.