定义了IEEE属性规范语言（PSL）。PSL是电子系统行为规范的正式符号，与多种电子系统设计语言兼容，包括IEEE Std 1076（VHDL）、IEEE Std 1354（Verilog）、IEEE Std 1666（SystemC）和IEEE Std 1800（SystemVerilog），从而为多语言和混合语言设计提供通用规范和验证流程。PSL以适合仿真、形式验证、形式分析和混合验证工具的形式捕获设计意图。PSL增强了架构师、设计师和验证工程师之间的沟通，以提高整个设计和验证过程的生产率。本标准的主要受众是支持该语言的工具的实现者和该语言的高级用户

The IEEE Property Specification Language (PSL) is defined. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system design languages, including IEEE Std 1076™ (VHDL®), IEEE Std 1354 (Verilog®), IEEE Std 1666™ (SystemC®), and IEEE Std 1800™ (SystemVerilog®), thereby enabling a common specification and verification flow for multi-language and mixed-language designs. PSL captures design intent in a form suitable for simulation, formal verification, formal analysis, and hybrid verification tools. PSL enhances communication among architects, designers, and verification engineers to increase productivity throughout the design and verification process. The primary audiences for this standard are the implementors of tools supporting the language and advanced users of the language