From f6088fd9f2b997ee7b0dab70ce1de162d81a2eca Mon Sep 17 00:00:00 2001 From: tmeissner Date: Tue, 19 May 2020 00:18:22 +0200 Subject: [PATCH] Add some more links to ressources --- README.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/README.md b/README.md index e06f911..f558486 100644 --- a/README.md +++ b/README.md @@ -70,3 +70,8 @@ The next lists will grow during further development * [Doulos Designer's Guide To PSL](https://www.doulos.com/knowhow/psl/) * [Project VeriPage PSL Tutorial](http://www.project-veripage.com/psl_tutorial_1.php) * [1850-2010 - IEEE Standard for PSL](https://standards.ieee.org/standard/1850-2010.html) +* [A Practical Introduction to PSL Book](https://www.springer.com/gp/book/9780387361239) +* [Formal Verification Book](https://www.elsevier.com/books/formal-verification/seligman/978-0-12-800727-3) +* [PSL Specification for WISHBONE System-on-Chip (from the PROSYD project)](https://opencores.org/websvn/filedetails?repname=copyblaze&path=%2Fcopyblaze%2Ftrunk%2Fcopyblaze%2Fdoc%2Fdev%2FWishBone%2Fprosyd1.4_1_annex.pdf) +* [GHDL documentation](https://ghdl.readthedocs.io) +* [SymbiYosys documentation](https://symbiyosys.readthedocs.io)