Update README.md

diff --git a/README.md b/README.md
index 7363d8e9cde07efece0105d48aed6944bcdbb655..4c4d1ae4892ca33e4b5a26eb99c6208a85ac1a90 100644 (file)
--- 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.