Yosys 0.25

Yosys 0.24 .. Yosys 0.25

• Verific support

  • Respect "noblackbox" attribute for modules.

• Various

  • Documentation is hosted at https://yosyshq.readthedocs.io/projects/yosys/en/latest/