mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-30 04:28:55 +00:00
Code Activity

Merge ba8a0f5adf into 5d7486115a

Browse source
This commit is contained in:
Gus Smith 2026-06-19 04:53:01 +00:00 • committed by GitHub
commit a3982dc868
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

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