mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-27 10:55:51 +00:00
Code Activity

Release version 0.38

Browse source
This commit is contained in:
Miodrag Milanovic 2024-02-09 08:16:24 +01:00
parent 8e3a718e30
commit 543faed9c8
2 changed files with 19 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

18
CHANGELOG
View file

@ -2,8 +2,24 @@
List of major changes and improvements between releases
=======================================================
Yosys 0.37 .. Yosys 0.38-dev
Yosys 0.37 .. Yosys 0.38
--------------------------
* New commands and options
- Added option "-tech" to "opt_lut" pass.
- Added option "-nokeep_prints" to "hierarchy" pass.
- Added option "-nolower" to "async2sync" and "clk2fflogic" pass.
- Added option "-lower" to "chformal" pass.
* Various
- Added $check cell to represent assertions with messages.
- Allow capturing $print cell output in CXXRTL.
- Added API to overwrite existing pass from plugin.
- Follow the XDG Base Directory Specification for storing history files.
- Without a known top module, derive all deferred modules (hierarchy pass).
- Detect and error out on combinational loops in write_aiger.
* Verific support
- Added option "-no-split-complex-ports" to "verific -import".
Yosys 0.36 .. Yosys 0.37
--------------------------