Yosys-slang sync with slang and formal verification

[StefanoBettelli]

Thank you for this tool, which could extend Yosys to seriously support modern SystemVerilog.

The version of slang currently used in yosys-slang is about 192 commits behind the official repository https://github.com/MikePopoloski/slang . What is a realistic expectation for this gap to be filled?

I am particularly interested in using this plugin to fully support SystemVerilog assertions for a formal-verification workflow that includes yosys and sby.

[povik]

The version of slang currently used in yosys-slang is about 192 commits behind the official repository https://github.com/MikePopoloski/slang . What is a realistic expectation for this gap to be filled?

It's not a priority. If there are concrete features or fixes the users of yosys-slang would benefit from, I can look into updating.

I am particularly interested in using this plugin to fully support SystemVerilog assertions for a formal-verification workflow that includes yosys and sby.

If that's the case be aware yosys-slang supports plain assertion statements like assume()/assert()/cover() but it doesn't support SVA. Support for SVA might happen in a year or two.