This website works better with JavaScript.
Home
Help
Sign In
tmeissner
/
psl_with_ghdl
Watch
1
Star
0
Fork
0
Code
Issues
0
Pull Requests
0
Releases
0
Wiki
Activity
Browse Source
Add some more links to ressources
master
T. Meissner
5 years ago
parent
42e8e49bb0
commit
f6088fd9f2
1 changed files
with
5 additions
and
0 deletions
Split View
Diff Options
Show Stats
Download Patch File
Download Diff File
+5
-0
README.md
+ 5
- 0
README.md
View File
@ -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
)
Write
Preview
Loading…
Cancel
Save