diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-03-01 14:29:17 -0800 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-03-01 14:29:17 -0800 |
| commit | a02d61576ec42931ed3a67c6900bcd5aeddaf8b8 (patch) | |
| tree | 99e63f8b4b9a983f4e3423087d2e34ba0ae49c0e | |
| parent | 03237de68605bb6eae73b96379faab0af6f8ce73 (diff) | |
| download | yosys-a02d61576ec42931ed3a67c6900bcd5aeddaf8b8.tar.gz yosys-a02d61576ec42931ed3a67c6900bcd5aeddaf8b8.tar.bz2 yosys-a02d61576ec42931ed3a67c6900bcd5aeddaf8b8.zip | |
Minor improvements in README
Signed-off-by: Clifford Wolf <clifford@clifford.at>
| -rw-r--r-- | README.md | 19 |
1 files changed, 16 insertions, 3 deletions
@@ -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 ====== |