commit ac668bf4a02258f45af8d2c284da5dc72d8c7136
Author: dsleung <dl@m-labs.hk>
Date:   Tue Jul 14 10:30:37 2020 +0800

    Initial commit

diff --git a/LICENSE b/LICENSE
new file mode 100644
index 0000000..412d4e2
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,14 @@
+ISC License Copyright (c) 2004-2010 by Internet Systems Consortium, Inc. ("ISC")
+
+Copyright (c) 1995-2003 by Internet Software Consortium
+
+Permission to use, copy, modify, and /or distribute this software for any
+purpose with or without fee is hereby granted, provided that the above copyright
+notice and this permission notice appear in all copies.
+
+THE SOFTWARE IS PROVIDED "AS IS" AND ISC DISCLAIMS ALL WARRANTIES WITH REGARD
+TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS.
+IN NO EVENT SHALL ISC BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL
+DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS,
+WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING
+OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..f560f8b
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# riscv-formal-nmigen
+
+A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen
\ No newline at end of file