用属性说明语言验证硬件电路

• 作者: 刘有耀
• 来源期刊: 现代电子技术
• 关键词: 硬件电路 属性说明语言 验证 自然语言
• 年，卷（期）: 2005,（21）
• 所属期刊栏目: 电子技术
• 页码范围: 104-106
• 页数: 3页
• 分类号: TP314
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2005.21.037

摘要

过去对系统的设计要求说明都是采用自然语言,这种说明形式是比较含糊的,并且缺乏标准的机器可执行代码而无法进行验证.然而属性说明语言是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的硬件设计属性说明语言.本文首先介绍了属性说明语言的属性定义,然后说明了用属性说明语言实现硬件电路验证的方法.通过实践证明,用属性说明语言验证硬件电路是非常有效的验证方法.