From a0172e68c57e5b98f30245667945a20f81445187 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Wed, 8 Jun 2022 11:41:13 +0200 Subject: [PATCH] More updates on CHANGELOG --- CHANGELOG | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/CHANGELOG b/CHANGELOG index 655abb27e..c26f389fc 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -5,13 +5,14 @@ List of major changes and improvements between releases Yosys 0.17 .. Yosys 0.17-dev -------------------------- * New commands and options - - Added "memory_bmux2rom" - converts muxes to ROMs + - Added "memory_libmap" pass + - Added "memory_bmux2rom" pass - converts muxes to ROMs - Added "memory_dff -no-rw-check" - - Added "opt_ffinv" - push inverters through FFs - - Added "proc_rom" - convert switches to ROMs - - Added "proc -norom" - will omit the proc_rom pass + - Added "opt_ffinv" pass - push inverters through FFs + - Added "proc_rom" pass - convert switches to ROMs + - Added "proc -norom" option - will omit the proc_rom pass - Added option "-no-rw-check" to synth passes - - Added "synth_ice40 -spram" automatic inference of SB_SPRAM256KA + - Added "synth_ice40 -spram" option for automatic inference of SB_SPRAM256KA - Added options "-nobram" and "-nolutram" to synth_machxo2 pass * Formal Verification @@ -27,6 +28,9 @@ Yosys 0.17 .. Yosys 0.17-dev - Fixed size and signedness computation of functions used in ternary expressions or case item expressions + * Verific support + - Proper file location for readmem commands + Yosys 0.16 .. Yosys 0.17 -------------------------- * New commands and options -- 2.30.2