Looking for ways to improve design productivity, the electronic design automation industry developed the Property Specification Language.
Otsides lahendusi disainiprotsessi produktiivsuse tõstmiseks, on elektroonilise disaini automatiseerimise EDA (Electronic Design Automation) süsteemides arendatud välja omaduste spetsifitseerimise keel PSL (Property Specification Language).