diff options
| author | Jannis Harder <me@jix.one> | 2022-08-03 17:27:06 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-08-16 13:37:30 +0200 |
| commit | 65145db7e7bec998a194aa0f6335de50df00e550 (patch) | |
| tree | 8e032b2911fc2feff37df8baa21ad299322a0f49 /CHANGELOG | |
| parent | b156fe903f75b589cb270c062a5cbd65f55e5cf6 (diff) | |
| download | yosys-65145db7e7bec998a194aa0f6335de50df00e550.tar.gz yosys-65145db7e7bec998a194aa0f6335de50df00e550.tar.bz2 yosys-65145db7e7bec998a194aa0f6335de50df00e550.zip | |
rename: Add -witness mode
Diffstat (limited to 'CHANGELOG')
| -rw-r--r-- | CHANGELOG | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 |