From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 22 Jan 2017 15:59:51 +0000 (+0100)
Subject: Add README.md
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bc163c61928668871b3f8ed55eb5853159733c2d;p=SymbiYosys.git

Add README.md
---

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..7363d8e
--- /dev/null
+++ b/README.md
@@ -0,0 +1,5 @@
+
+SymbiYosys (sby) is a front-end driver program for Yosys-based formal
+hardware verification flows. See http://symbiyosys.readthedocs.io/ for
+documentation.
+