Revision as of 09:03, 26 May 2017 edit Cedar101 (talk \| contribs) Extended confirmed users 18,557 edits m →LTL-style operators: {{code}} ← Previous edit		Revision as of 15:13, 8 September 2017 edit undo KolbertBot (talk \| contribs) Bots 1,166,042 edits m Bot: HTTP→HTTPS Next edit →
Line 264: ===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~~https://www.springer.com/engineering/circuits+%26+systems/book/978-0-387-35313-5 A Practical Introduction to PSL, Cindy Eisner, Dana Fisman] {{Programmable Logic}}

Property Specification Language: Difference between revisions