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