mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-03-23 04:49:15 +00:00
Code Activity

Merge ba8a0f5adf into 8d1d5a25e5

Browse source
This commit is contained in:
Gus Smith 2026-03-19 10:12:03 +01:00 • committed by GitHub
commit e59a0e51df
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
CHANGELOG
View file

@ -1229,7 +1229,7 @@ Yosys 0.7 .. Yosys 0.8
- Added "write_smt2 -stbv" and "write_smt2 -stdt"
- Fix equiv_simple, old behavior now available with "equiv_simple -short"
- Change to Yices2 as default SMT solver (it is GPL now)
- Added "yosys-smtbmc --presat" (now default in SymbiYosys)
- Added "yosys-smtbmc --presat" (now default in SBY)
- Added "yosys-smtbmc --smtc-init --smtc-top --noinit"
- Added a brand new "write_btor" command for BTOR2
- Added clk2fflogic memory support and other improvements

4
frontends/verific/README
View file

@ -15,10 +15,10 @@ database/DBCompileFlags.h:
DB_PRESERVE_INITIAL_VALUE
Testing Verific+Yosys+SymbiYosys for formal verification
Testing Verific+Yosys+SBY for formal verification
========================================================
Install Yosys+Verific, SymbiYosys, and Yices2. Install instructions:
Install Yosys+Verific, SBY, and Yices2. Install instructions:
http://symbiyosys.readthedocs.io/en/latest/quickstart.html#installing
Then run in the following command in this directory:

2
frontends/verific/example.sby
View file

@ -1,4 +1,4 @@
# Simple SymbiYosys example job utilizing Verific
# Simple SBY example job utilizing Verific
[options]
mode prove