mirror of
https://github.com/YosysHQ/yosys
synced 2025-11-03 13:07:58 +00:00
Release version 0.27
This commit is contained in:
parent
9747e55d95
commit
5f88c218b5
2 changed files with 14 additions and 3 deletions
13
CHANGELOG
13
CHANGELOG
|
|
@ -2,8 +2,19 @@
|
|||
List of major changes and improvements between releases
|
||||
=======================================================
|
||||
|
||||
Yosys 0.26 .. Yosys 0.26-dev
|
||||
Yosys 0.26 .. Yosys 0.27
|
||||
--------------------------
|
||||
* New commands and options
|
||||
- Added option "-make_assert" to "equiv_make" pass.
|
||||
- Added option "-coverenable" to "chformal" pass.
|
||||
|
||||
* Verilog
|
||||
- Resolve package types in interfaces.
|
||||
- Handle range offsets in packed arrays within packed structs.
|
||||
- Support for data and array queries on struct/union item expressions.
|
||||
|
||||
* GateMate support
|
||||
- Enable register initialization.
|
||||
|
||||
Yosys 0.25 .. Yosys 0.26
|
||||
--------------------------
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue