aboutsummaryrefslogtreecommitdiffstats
path: root/CHANGELOG
diff options
context:
space:
mode:
authorJannis Harder <me@jix.one>2022-08-03 17:27:06 +0200
committerJannis Harder <me@jix.one>2022-08-16 13:37:30 +0200
commit65145db7e7bec998a194aa0f6335de50df00e550 (patch)
tree8e032b2911fc2feff37df8baa21ad299322a0f49 /CHANGELOG
parentb156fe903f75b589cb270c062a5cbd65f55e5cf6 (diff)
downloadyosys-65145db7e7bec998a194aa0f6335de50df00e550.tar.gz
yosys-65145db7e7bec998a194aa0f6335de50df00e550.tar.bz2
yosys-65145db7e7bec998a194aa0f6335de50df00e550.zip
rename: Add -witness mode
Diffstat (limited to 'CHANGELOG')
-rw-r--r--CHANGELOG2
1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGELOG b/CHANGELOG
index a9144facf..6403c5b9a 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -7,6 +7,8 @@ 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
+ - Added option "-witness" to "rename" - give public names to all signals
+ present in yosys witness traces
* Formal Verification
- Added $anyinit cell to directly represent FFs with an unconstrained