Property Specification Language的意思|示意

美 / / 英 / /

属性说明语言

Property Specification Language的网络常见释义

属性说明语言 提出了基于事务断言验证技术,用属性说明语言(Property Specification Language,PSL)描述系统的属性,用事务进行系统的验证,通过编程语言接口机理和工 ..

性质描述语言 性质描述语言(Property Specification Language)为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法为硬件的设计和验证提出了一种新的很具有优势 ..

特性规范语言 ...百科 跳转到： 导航, 搜索 本参考手册定义了能够形式化地描述电子系统行为的特性规范语言（Property Specification Language, PSL）。本参考手册描述了PSL的语法和语义，并阐明了PSL如何与不同的标准电子系统设计语言接口。

用属性说明语言 提出了基于事务断言验证技术,用属性说明语言(Property Specification Language,PSL)描述系统的属性,用事务进行系统的验证,通过编程语言接口机理和工 ..