【property_specification_language】什么意思_英语property_specification_language的翻译_音标_读音_用法_例句_在线翻译

property specification language

属性说明语言

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

基于12个网页-相关网页

性质描述语言

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

基于12个网页-相关网页

特性规范语言

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

基于4个网页-相关网页

用属性说明语言

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

基于4个网页-相关网页

计算机科学技术

·2,447,543篇论文数据，部分数据来源于NoteExpress

abstract: Property Specification Language (PSL) is a language developed by Accellera for specifying properties or assertions about hardware designs. The properties can then be functionally verified via logic simulation or formal verification.

以上来源于: WordNet

By practice proving, the verification of hardware circuits is an effective method in property specification language.

通过实践证明，用属性说明语言验证硬件电路是非常有效的验证方法。

youdao
Assert checks of Property Specification Language (PSL) are used to verify functions of the controller to decrease verification complexity and enhance verification quality and speed.

采用基于属性描述语言(psl)的断言检查对该控制器进行功能验证，以降低验证复杂度、提高验证速度和质量。

youdao
Multi-language property specification for route.

Route的多语言属性规范。

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句