From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 1 Mar 2019 22:29:17 +0000 (-0800)
Subject: Minor improvements in README
X-Git-Tag: yosys-0.9~281
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a02d61576ec42931ed3a67c6900bcd5aeddaf8b8;p=yosys.git

Minor improvements in README

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/README.md b/README.md
index 883f2b0a5..f17046488 100644
--- a/README.md
+++ b/README.md
@@ -34,11 +34,24 @@ compatible license that is similar in terms to the MIT license
 or the 2-clause BSD license).
 
 
-Web Site
-========
+Web Site and Other Resources
+============================
 
 More information and documentation can be found on the Yosys web site:
-http://www.clifford.at/yosys/
+- http://www.clifford.at/yosys/
+
+The "Documentation" page on the web site contains links to more resources,
+including a manual that even describes some of the Yosys internals:
+- http://www.clifford.at/yosys/documentation.html
+
+The file `CodingReadme` in this directory contains additional information
+for people interested in using the Yosys C++ APIs.
+
+Users interested in formal verification might want to use the formal verification
+front-end for Yosys, SymbiYosys:
+- https://symbiyosys.readthedocs.io/en/latest/
+- https://github.com/YosysHQ/SymbiYosys
+
 
 Setup
 ======