1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGELOG b/CHANGELOG
index 199d6a61a..5ee3e3cc0 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -6,6 +6,7 @@ Yosys 0.20 .. Yosys 0.20-dev
 --------------------------
  * New commands and options
     - Added "formalff" pass - transforms FFs for formal verification
+    - Added option "-formal" to "memory_map" pass
 
  * Formal Verification
     - Added $anyinit cell to directly represent FFs with an unconstrained