基于PSL的FIFO的验证

摘要：

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

关键词： 属性描述语言 模拟仿真 形式化验证 硬件设计 断言验证

作者: 郭建 韩俊刚

作者单位: 西安电子科技大学 微电子学院 陕西 西安 710071 华东师范大学 软件学院 上海 200062 西安邮电学院 计算机科学系 陕西 西安 710061

会议类型: 国内会议

会议名称: 第五届中国测试学术会议

会议地点: 苏州

会议语种:中文

页码: 285-289

在线出版日期: 2008-05-21（万方平台首次上网日期，不代表论文的发表时间）