更新时间：2022-08-25 16:57
Property Specification Language（PSL）是一种专门用于硬件特性描述的语言，由IBM开发的Sugar语言发展而来。
Property Specification Language （PSL）是一种专门用于硬件特性描述的语言，由IBM开发的Sugar语言发展而来。2002年Sugar语言被Accellera标准化组织选中作为工业标准加以发展形成PSL语言。PSL语言以其简单易用且可应用于Verilog/VHDL/SystemC等多种设计语言的特性而被广大设计公司和EDA公司采用。
同时PSL语言可在仿真代码过程中直接被编译成机器代码而加以执行，减少了调用PLI任务时对仿真速度的影响，能有效地提高基于功能覆盖率分析的仿真速度。
PSL可按一定的结构描述用户对软件系统的功能需求和性能需求。
PSL及其相应的支撑系统PSA最早出现在1971年，其第一个版本主要使用在美国密歇根大学的IS DOS项目之中，其主要目的是用于信息系统的需求定义与分析。它是需求定义语言及其机器支撑方面的早期工作之一，并已广泛使用。
PSL从实体及其相互间关系的角度来刻画系统的输入输出、系统结构，数据结构、数据流程，系统规模，动态行为、系统性质、项目管理等各个方面。具体说来，在数据方面，PSL提供了ENTITY，CONSISTS OF，CONTAINED IN，DERIVED BY，UPDATED BY等实体或关系来描述数据对象的名、数据结构和数据流程。在数据处理方面，PSL提供了GENERATES，RECEIVES，PROCEDURE，DERIVES，UPDATES和USES等实体或关系来刻画处理的名，系统的输入输出、数据流程，处理方式和动态行为等。
严格说来，PSL是一种半形式的语言，它在某些局部方面允许用户使用自然语言。例如，在描述处理时，可在PROCEDURE中用自然语言描述控制结构方面的信息；在描述数据时，可在DESCRIPTION中采用非形式的方式描述数据的各个方面。