PSL是PropertySpecificationLangage的缩写。

PSL是一种专门用于硬件特性描述的语言，由IBM开发的Sgar语言发展而来。2002年Sgar语言被Accellera标准化组织选中作为工业标准加以发展形成PSL语言。PSL语言以其简单易用且可应用于Verilog、VHDL、SystemC等多种设计语言的特性而被广大设计公司和EDA公司采用。