Unique Skill ID: KS1284Z6YCX5R6K7RVHB

Property Specification Language

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 and/or logic simulation tools are used to prove or refute that a given PSL formula holds on a given design.

Read Full Description
This Skill is part of Lightcast Open Skills, a library of over 32,000 skills used by schools, communities, and businesses that has become the standard language.
Search for other skills

Property Specification Language Job Postings Data

Top Companies Posting

Job Postings Analytics Loading Spinner

Top Job Titles

Job Postings Analytics Loading Spinner

Job Postings Trend

Job Postings Analytics Loading Spinner

Live Job Postings

Job Postings Analytics Loading Spinner

Looking for more data on job postings?