diff options
Diffstat (limited to 'CHANGELOG')
| -rw-r--r-- | CHANGELOG | 33 |
1 files changed, 32 insertions, 1 deletions
@@ -2,7 +2,25 @@ List of major changes and improvements between releases ======================================================= -Yosys 0.20 .. Yosys 0.20-dev +Yosys 0.22 .. Yosys 0.22-dev +-------------------------- + * Various + - Added YOSYS_ABORT_ON_LOG_ERROR environment variable for debugging. + Setting it to 1 causes abort() to be called when Yosys terminates with an + error message. + +Yosys 0.21 .. Yosys 0.22 +-------------------------- + * Verific support + - Added support for here-document for "verific" command (for reading + source files). + - Added support for reading EDIF files using Verific library. + (Optinally enabled with ENABLE_VERIFIC_EDIF) + + * Various + - Added tech specific utilization to "stat" json. + +Yosys 0.20 .. Yosys 0.21 -------------------------- * New commands and options - Added "formalff" pass - transforms FFs for formal verification @@ -11,6 +29,7 @@ Yosys 0.20 .. Yosys 0.20-dev present in yosys witness traces - Added option "-hdlname" to "sim" pass - preserves hiearachy when writing simulation output for a flattened design + - Addded option "-scramble-name" to "rename" pass * Formal Verification - Added $anyinit cell to directly represent FFs with an unconstrained @@ -23,6 +42,18 @@ Yosys 0.20 .. Yosys 0.20-dev conversion. - yosys-witness: Conversion from and to AIGER witness traces. + * Verific support + - Filename re-writing support for "verific" pass. + + * Various + - ABC performance improvements + - Filename re-writing added for "show -lib". + + * SmartFusion2 support + - Added $alu support + - Added SYSRESET and XTLOSC cells + - Compatible now with LiberoSoc flow + Yosys 0.19 .. Yosys 0.20 -------------------------- * New commands and options |