PSL:属性规范语言

属性规范语言(Property Specification Language,常缩写为PSL)是一种广泛应用于计算机硬件设计及验证领域的专用语言。其缩写形式PSL在实际使用中更为常见,能够有效提升文档编写、技术交流及系统描述等场景下的表达效率。

Property Specification Language具体释义

  • 英文缩写:PSL
  • 英语全称:Property Specification Language
  • 中文意思:属性规范语言
  • 中文拼音:shǔ xìng guī fàn yǔ yán
  • 相关领域psl 硬件

Property Specification Language的英文发音

例句

  1. This paper begins with a basic concept of assertion based verification and a introduction of use and property define of property specification language.
  2. 文章首先介绍了基于断言验证的基本概念和属性说明语言PSL的用途和属性定义。
  3. By practice proving, the verification of hardware circuits is an effective method in property specification language.
  4. 通过实践证明,用属性说明语言验证硬件电路是非常有效的验证方法。
  5. Application of Property Specification Language(PSL) in Assertion Based Verification on Hardware
  6. 属性说明语言在基于断言的硬件验证中的应用
  7. Verification of Hardware Circuit with Property Specification Language(PSL)
  8. 用属性说明语言验证硬件电路
  9. Property Specification Language(PSL) of Hardware Circuit
  10. 硬件电路的属性说明语言