Property Specification Language is a historical programming language created in 2004. Property Specification Language (PSL) is a temporal logic extending Linear temporal logic with a range of operators for both ease of expression and enhancement of expressive power. PSL makes an extensive use of regular expressions and syntactic sugaring. It is widely used in the hardware design and verification industry, where formal verification tools (such as model checking) and/or logic simulation tools are used to prove or refute that a given PSL formula holds on a given design. Read more on Wikipedia...
- Property Specification Language ranks in the top 50% of languages
- the Property Specification Language wikipedia page
- Property Specification Language first appeared in 2004
- See also: vhdl, verilog, systemverilog
- I have 22 facts about Property Specification Language. what would you like to know? email me and let me know how I can help.
Example code from Wikipedia:
((true[*]; req; ack) |=> (start; data[*3]; end) @ clk
Last updated November 16th, 2019