3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-05 22:14:08 +00:00

Update README.md

This commit is contained in:
Clifford Wolf 2018-08-27 19:35:25 +02:00 committed by GitHub
parent 6e53db0a66
commit 896f181d84
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,5 +1,3 @@
SymbiYosys (sby) is a front-end driver program for [Yosys](http://www.clifford.at/yosys)-based formal hardware verification flows. See [http://symbiyosys.readthedocs.io/](http://symbiyosys.readthedocs.io/) for documentation on how to use SymbiYosys.
SymbiYosys (sby) is a front-end driver program for Yosys-based formal
hardware verification flows. See http://symbiyosys.readthedocs.io/ for
documentation.
Many example designs using SymbiYosys have been published on the [ZipCPU blog](http://zipcpu.com). Please consider browsing the [formal verification page](http://zipcpu.com/formal/formal.html) of the [ZipCPU blog](http://zipcpu.com) for examples and commentary.