propertyspecificationlanguage(psl)是一种专门用于硬件特性描述的语言，由ibm开发的sugar语言发展而来。2002年sugar语言被accellera标准化组织选中作为工业标准加以发展形成psl语言。psl语言以其简单易用且可应用于verilog/vhdl/systemc等多种设计语言的特性而被广大设计公司和eda公司采用。
　　同时psl语言可在仿真代码过程中直接被编译成机器代码而加以执行，减少了调用pli任务时对仿真速度的影响，能有效地提高基于功能覆盖率分析的仿真速度。