Revision as of 14:45, 7 March 2013 edit Addbot (talk \| contribs) Bots 2,838,809 edits m Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q751505 ← Previous edit		Revision as of 09:47, 9 April 2013 edit undo Svenka3 (talk \| contribs) 1 edit →External links Next edit →
Line 14: * [http://www.project-veripage.com/psl_tutorial_1.php Property Specification Language Tutorial] * [http://www.doulos.com/knowhow/psl/ Designers guide to PSL] == Books on PSL == * [http://www.systemverilog.us/psl_info.html Using PSL/Sugar for Formal and Dynamic Verification 2nd Edition, Ben Cohen, Ajeetha Kumari, Srinivasan Venkataramanan] * [http://www.springer.com/engineering/circuits+%26+systems/book/978-0-387-35313-5 A Practical Introduction to PSL, Cindy Eisner, Dana Fisman] [[Category:Hardware verification languages]]

Property Specification Language: Difference between revisions