提出了基于事务断言验证技术,用属性说明语言(Property Specification Language,PSL)描述系统的属性,用事务进行系统的验证,通过编程语言接口机理和工 ..
基于4个网页-相关网页
用属性说明语言
Describe the language with attributes
以上为机器翻译结果，长、整句建议使用 人工翻译 。
通过实践证明，用属性说明语言验证硬件电路是非常有效的验证方法。
By practice proving, the verification of hardware circuits is an effective method in property specification language.
youdao
应用推荐
模块上移
模块下移
不移动