Yosys 0.19

Yosys 0.18 .. Yosys 0.19

• New commands and options

  • Added option "-rom-only" to "memory_libmap" pass
  • Added option "-smtcheck" to "hierarchy" pass
  • Added option "-keepdc" to "memory_libmap" pass
  • Added option "-suffix" to "rename" pass
  • Added "gatemate_foldinv" pass

• Formal Verification

  • Added support for $pos cell in btor backend
  • Added the "smtlib2_module" and "smtlib2_comb_expr" attributes

• GateMate support

  • Added LUT tree mapping

• Verific support

  • Added option "-pp" to "verific -import"