mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-07-19 05:35:47 +00:00
Code Activity

Merge ba8a0f5adf into 0e82bbefe5

Browse source
This commit is contained in:
Gus Smith 2026-07-12 23:09:02 +02:00 • committed by GitHub
commit de80a3a7eb
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