标准摘要
[中文适用范围]： 该标准定义了属性规范语言（PSL），它正式描述了电子系统的行为。该标准规定了 PSL 的语法和语义，并阐明了 PSL 如何与各种标准电子系统设计语言交互。 [外文原描述]： 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.
英文名称Standard for Property Specification Language (PSL)