From 896f181d84e3126e47bf5d9cd3f5b62f2e46ff37 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Mon, 27 Aug 2018 19:35:25 +0200 Subject: [PATCH] Update README.md --- README.md | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 7363d8e..4c4d1ae 100644 --- a/README.md +++ b/README.md @@ -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. -- 2.30.2