Property Specification Language (PSL)是一种专门用于硬件特性描述的语言,由IBM开发的Sugar语言发展而来。2002年Sugar语言被Accellera标准化组织选中作为工业标准加以发展形成PSL语言。PSL语言以其简单易用且可应用于Verilog/VHDL/SystemC等多种设计语言的特性而被广大设计公司和EDA公司采用。
同时PSL语言可在仿真代码过程中直接被编译成机器代码而加以执行,减少了调用PLI任务时对仿真速度的影响,能有效地提高基于功能覆盖率分析的仿真速度。
BMC PATROL Script Language (PSL) 是BMC Patrol产品的一种规范性语言。常常被用来查询一些Agent不提供的数据。BMC PATROL also uses certain PSL collector parameters, designated by the -Coll
suffix, to gather information that the Perform Agent does not provide.
|