PSL語言

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中採用非形式的方式描述數據的各個方面。 ^[1]