采用PSL的基于断言的验证

作     者：马博 韩俊刚 MA Bo;HAN Jungang

作者机构：西安邮电学院计算机系西安710061 

基　　金：国家自然科学基金资助项目(90207015) 

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2007年第33卷第2期

页      码：217-219页

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

主 题 词：基于断言的验证 性质描述语言 同步数字系列 

学科分类：08[工学] 080203[080203] 0802[工学-机械学] 

核心收录：

D　O　I：10.3969/j.issn.1000-3428.2007.02.076

馆 藏 号：203286022...