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

摘要：

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

关键词：硬件电路、属性说明语言、验证、自然语言

所属期刊栏目：28

分类号：TP314(计算技术、计算机技术)

资助基金：国家自然科学基金90207015

在线出版日期：2005-12-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：104-106