Property Specification Language
属性说明语言
Property Specification Language网络翻译
提出了基于事务断言验证技术,用属性说明语言(Property Specification Language,PSL)描述系统的属性,用事务进行系统的验证,通过编程语言接口机理和工 ..
性质描述语言性质描述语言(Property Specification Language)为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法为硬件的设计和验证提出了一种新的很具有优势 ..
特性规范语言...百科 跳转到： 导航, 搜索 本参考手册定义了能够形式化地描述电子系统行为的特性规范语言（Property Specification Language, PSL）。本参考手册描述了PSL的语法和语义，并阐明了PSL如何与不同的标准电子系统设计语言接口。
用属性说明语言提出了基于事务断言验证技术,用属性说明语言(Property Specification Language,PSL)描述系统的属性,用事务进行系统的验证,通过编程语言接口机理和工 ..
Property Specification Language双语例句
By practice proving, the verification of hardware circuits is an effective method in property specification language.
通过实践证明，用属性说明语言验证硬件电路是非常有效的验证方法。
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)的断言检查对该控制器进行功能验证，以降低验证复杂度、提高验证速度和质量。
Multi-language property specification for route.
Route的多语言属性规范。
相关单词
- swotn. 苦读的人；努力工作者；辛苦的工作 vi. 刻苦用功 vt. 刻苦攻读
- switchbackn. 在 Z 形路轨向原来的方向返驶；改变角度；之字形路 vi. 蜿蜒而行；采取迂回方针 adj. 曲折的；起伏不平的
- supervisorn. 监督者，管理者；（英国大学里负责学生研究工作的）指导教师；<美>镇长，县长
- strikebreakern. [劳经] 破坏罢工者
- stepsn. （楼外的）台阶；步伐；步数；步幅（step 的复数） vi. 踏，踩；走（step 的第三人称单数） vt. 走，迈步； 竖立（桅杆）于桅座上（step 的第三人称单数）
- stenographern. 速记员
- statisticiann. 统计学家，统计员
- stagnationn. （一国经济的）不景气，停滞；（水）不流动
- springboardn. 跳板；出发点 vi. 利用跳板跃进
- shantytownn. 以临时搭盖的陋屋为主的地区
- sewern. 下水道，阴沟；缝纫工，缝纫机；（中世纪贵族宅邸中的）司膳管家 v. 为……铺设污水管道，用下水道排除……的污水；清洗污水管
- sculptorn. 雕刻家，雕塑家
- schoolingn. 学校教育；学费；（马术）训练马在平地比赛（或跨越障碍） v. 教育，培养；训练，使学会（school 的现在分词形式） 【名】 （Schooling）（英）斯库林（人名）
- schoolgirln. 女学生
- satcheln. 书包；小背包