diff options
Diffstat (limited to 'CHANGELOG')
| -rw-r--r-- | CHANGELOG | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -4,9 +4,6 @@ List of major changes and improvements between releases Yosys 0.18 .. Yosys 0.18-dev -------------------------- - * Various - - Added support for $pos cell in btor backend - * New commands and options - Added option "-rom-only" to "memory_libmap" pass - Added option "-smtcheck" to "hierarchy" pass @@ -14,6 +11,10 @@ Yosys 0.18 .. Yosys 0.18-dev - 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 |