mirror of
https://github.com/YosysHQ/sby.git
synced 2025-04-11 16:23:33 +00:00
4 lines
514 B
Markdown
4 lines
514 B
Markdown
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.
|
|
|
|
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.
|