English Property Specification Language Cited by user Fismand on 03 Aug 2015 Property Specification Language (PSL) is a language developed by Accellera for specifying properties or assertions about hardware designs.