Skip to content

Yosys 0.41

Compare
Choose a tag to compare
@mmicko mmicko released this 08 May 07:06
· 1136 commits to main since this release

Yosys 0.40 .. Yosys 0.41

  • New commands and options

    • Added "cellmatch" pass for picking out standard cells automatically.
  • Various

    • Extended the experimental incremental JSON API to allow arbitrary
      smtlib subexpressions.
    • Added support for using ABCs library merging when providing multiple
      liberty files.
  • Verific support

    • Expose library name as module attribute.