From bc163c61928668871b3f8ed55eb5853159733c2d Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 22 Jan 2017 16:59:51 +0100 Subject: [PATCH] Add README.md --- README.md | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 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. + -- 2.30.2