属性规范语言（PSL）（2.0 版

[中文适用范围]： 该标准定义了属性规范语言（PSL）@，它正式描述了电子系统的行为。该标准规定了 PSL 的语法和语义，并阐明了 PSL 如何与各种标准电子系统设计语言交互。目的 该标准的目的是为电子系统行为的正式规范提供一种定义良好的语言@一种与多种电子系统设计语言兼容的语言@包括IEEE Std 1076？ （VHDL？）@1 IEEE 标准 1364？ （Verilog？）@ IEEE Std 1800？ （SystemVerilog？）@ 和 IEEE Std 1666？ (SystemC?)@ 促进多语言和混合语言设计的通用规范和验证流程。该标准根据 IEEE Std 1850-2005 创建了更新的 IEEE 标准。更新后的标准将完善 IEEE 标准@解决勘误表@次要技术问题@并提出专门与属性重用和改进的模拟可用性相关的扩展。 1有关参考文献的信息可在第 2 条中找到。 [外文原描述]： IEC 62531:2012(E) defines the property specification language (PSL), which formally describes electronic system behavior. This standard specifies the syntax and semantics for PSL and also clarifies how PSL interfaces with various standard electronic system design languages. This second edition cancels and replaces the first edition, published in 2007, and constitutes a technical revision.