PSL:属性规范语言
属性规范语言(Property Specification Language,常缩写为PSL)是一种广泛应用于计算机硬件设计及验证领域的专用语言。其缩写形式PSL在实际使用中更为常见,能够有效提升文档编写、技术交流及系统描述等场景下的表达效率。
Property Specification Language具体释义
Property Specification Language的英文发音
例句
- This paper begins with a basic concept of assertion based verification and a introduction of use and property define of property specification language.
- 文章首先介绍了基于断言验证的基本概念和属性说明语言PSL的用途和属性定义。
- By practice proving, the verification of hardware circuits is an effective method in property specification language.
- 通过实践证明,用属性说明语言验证硬件电路是非常有效的验证方法。
- Application of Property Specification Language(PSL) in Assertion Based Verification on Hardware
- 属性说明语言在基于断言的硬件验证中的应用
- Verification of Hardware Circuit with Property Specification Language(PSL)
- 用属性说明语言验证硬件电路
- Property Specification Language(PSL) of Hardware Circuit
- 硬件电路的属性说明语言
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若PSL词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。