mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-12 06:00:55 +00:00
Code Activity

rename: Add -witness mode

Browse source
This commit is contained in:
Jannis Harder 2022-08-03 17:27:06 +02:00
parent b156fe903f
commit 65145db7e7
2 changed files with 83 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
CHANGELOG
View file

@ -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