基于性质描述语言的硬件验证

摘要：

性质描述语言(Property Specification Language)为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法为硬件的设计和验证提出了一种新的很具有优势的验证方法.用性质描述语言作为断言的验证方法中描述断言的语言,使得断言能够被语法精简、语义严格清晰地描述出来.通过对先进先出队列存储器的设计和断言的描述,以及对断言的验证结果的描述,给出了如何利用性质描述语言写断言的一般方法,然后再进行模拟仿真,找出使断言失败的原因,以便找出设计的错误,并验证了本方法在硬件验证中的有效性.

关键词：性质描述语言、断言的验证、先进先出队列存储器

所属期刊栏目：10

分类号：TP317.2(计算技术、计算机技术)

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

页数：共5页

页码：5652-5656