Yosys + SV 😎

Кстати SystemVerilog теперь в Yosys 0.67 (релиз пару дней назад):

For SystemVerilog support now using sv-elab, built on top of slang library.

Ну точнее как, нативный read_verilog -sv там уже и так какое-то время, но добавился read_slang из плагина yosys-slang. Последний как раз в этом релизе переименовали в sv-elab и сделали частью мейнлайна йосиса.

По тому насколько хороша поддержка SV - сам slang способен разобрать весь язык, но sv-elab может синтезировать только некоторое подмножество (довольно широкое).

Кстати про этот плагин и в целом про проблемы того как определить что есть "синтезируемое подмножество" было у @m_kudinov в докладе. Рекомендую глянуть, если пропустили:
https://youtu.be/42HmSG2MyKw

#yosys
@positiveslack