Revision as of 17:58, 27 March 2009 edit Metalwheaties (talk \| contribs) 31 edits m →External links: Fix broken link to Property Specification Language Tutorial (remove trailing "/") ← Previous edit		Revision as of 19:50, 17 February 2010 edit undo 64.244.102.2 (talk) removed broken link Next edit →
Line 12: * [http://standards.ieee.org/announcements/pr_1850psl.html IEEE Announcement September 2005] * [http://www.accellera.org/ Accellera] * [http://www.pslsugar.org/ The PSL/Sugar Consortium] * [http://www.project-veripage.com/psl_tutorial_1.php Property Specification Language Tutorial] * [http://www.doulos.com/knowhow/psl/ Designers guide to PSL]

Property Specification Language: Difference between revisions