-
题名基于性质描述语言的硬件验证
- 1
-
-
作者
纪小辉
郭建
-
机构
西安工业大学光电工程学院
西安邮电学院计算机科学系
-
出处
《科学技术与工程》
2010年第23期5652-5656,共5页
-
文摘
性质描述语言（Property Specification Language）为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法为硬件的设计和验证提出了一种新的很具有优势的验证方法。用性质描述语言作为断言的验证方法中描述断言的语言,使得断言能够被语法精简、语义严格清晰地描述出来。通过对先进先出队列存储器的设计和断言的描述,以及对断言的验证结果的描述,给出了如何利用性质描述语言写断言的一般方法,然后再进行模拟仿真,找出使断言失败的原因,以便找出设计的错误,并验证了本方法在硬件验证中的有效性。
-
关键词
性质描述语言
断言的验证
先进先出队列存储器
-
Keywords
property specification language assertion based verification first in first out
-
分类号
TP317.2
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于PSL断言的宽带电路交换芯片验证
被引量：3
- 2
-
-
作者
张华
郭建
韩俊刚
-
机构
西安邮电学院ASIC设计中心
-
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第14期216-218,235,共4页
-
基金
国家自然科学基金资助重大项目(90207015)
国家"863"计划基金资助重大专项课题"超大规模集成电路设计"(2003AA1Z1190)
-
文摘
利用基于PSL断言的验证方法验证了宽带电路交换芯片XYDXC160的设计。该芯片单片支持64路2.488Gb/s STM-16帧结构的SDH码流的输入/输出,实现1 024×1 024 STM-1流的无阻塞电路交换。断言技术的引入,降低了验证工作的复杂度,提高了验证的速度和效率,确保了验证工作的质量。
-
关键词
基于断言的验证
同步数字系列
性质描述语言
-
Keywords
assertion-based verification
synchronous digital hierarchy（SDH）
property specification language（PSL）
-
分类号
TN47
[电子电信—微电子学与固体电子学]
-
-
题名采用PSL的基于断言的验证
被引量：3
- 3
-
-
作者
马博
韩俊刚
-
机构
西安邮电学院计算机系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第2期217-219,共3页
-
基金
国家自然科学基金资助项目(90207015)
-
文摘
基于断言的验证方法被认为是在硬件设计验证方面的一次重大的方法学的变革。它能有效地提高验证工作的质量和效率。而性质描述语言(PSL)就是使用断言来表达要验证的性质,并且该语言已经被批准为IEEE标准。在简要介绍性质描述语言PSL的基础上,结合数字交叉连接芯片的实际设计验证工作,采用在Mentor Graphics公司出品的仿真软件ModelSim6.0,用PSL语言表述断言和验证命令,说明在设计中嵌入用断言表述的设计特性,通过这些特性来进行验证仿真工作。实验结果表明,用性质描述语言来辅助验证工作,是一个有效可行的方法。
-
关键词
基于断言的验证
性质描述语言
同步数字系列
-
Keywords
Assertion-based verification
Property specification language
Synchronous digital hierarchy
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
