From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 27 Aug 2018 17:35:25 +0000 (+0200)
Subject: Update README.md
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=896f181d84e3126e47bf5d9cd3f5b62f2e46ff37;p=SymbiYosys.git

Update README.md
---

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.