采用PSL的基于断言的验证

• 作者: 韩俊刚 马博
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 基于断言的验证 性质描述语言 同步数字系列
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 工程应用技术与实现
• 页码范围: 217-219
• 页数: 3页
• 分类号: TP391.9
• 字数: 3746字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.02.076

摘要

基于断言的验证方法被认为是在硬件设计验证方面的一次重大的方法学的变革.它能有效地提高验证工作的质量和效率.而性质描述语言(PSL)就是使用断言来表达要验证的性质,并且该语言已经被批准为IEEE标准.在简要介绍性质描述语言PSL的基础上,结合数字交叉连接芯片的实际设计验证工作,采用在Mentor Graphics公司出品的仿真软件ModelSim6.0,用PSL语言表述断言和验证命令,说明在设计中嵌入用断言表述的设计特性,通过这些特性来进行验证仿真工作.实验结果表明,用性质描述语言来辅助验证工作,是一个有效可行的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩俊刚	西安邮电学院计算机系	113	703	14.0	20.0
2	马博	西安邮电学院计算机系	6	43	4.0	6.0