属性说明语言在基于断言的硬件验证中的应用

• 作者: 刘有耀 韩俊刚
• 来源期刊: 微电子学与计算机
• 关键词: 硬件电路 属性说明语言 基于断言验证
• 年，卷（期）: 2006,（5）
• 页码范围: 109-111,114
• 页数: 4页
• 分类号: TP302
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2006.05.032

摘要

EDA界的标准化组织Accellera最近确定IBM的sugar语言为标准的属性说明语言,可以用于基于断言验证技术的设计属性说明.文章首先介绍了基于断言验证的基本概念和属性说明语言PSL的用途和属性定义.然后给出了用PSL实现基于断言的硬件验证方法.用一个实例说明了怎样用PSL语言实现基于断言的验证.