PSL語言(PSL(計算機語言))

PSL語言(計算機語言)

PSL(計算機語言)一般指本詞條

本詞條是多義詞,共3個義項
更多義項 ▼ 收起列表 ▲

Property Specification Language(PSL)是一種專門用於硬體特性描述的語言,由IBM開發的Sugar語言發展而來。

基本介紹

  • 中文名:PSL語言
  • 外文名:Property Specification Language 
  • 特點:專門用於硬體特性描述的語言
  • 開發:IBM
  • 套用:計算機
  • 學科:計算機技術
概述,功能,

概述

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

相關詞條

熱門詞條

聯絡我們