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

同时PSL语言可在仿真代码过程中直接被编译成机器代码而加以执行，减少了调用PLI任务时对仿真速度的影响，能有效地提高基于功能覆盖率分析的仿真速度。