-
题名PCIE协议栈模拟验证平台的设计和实现
被引量：3
- 1
-
-
作者
张良
王天成
王健
李华伟
郭建
-
机构
湘潭大学材料与光电物理学院
中国科学院计算技术研究所计算机体系结构国家重点实验室
中国科学院大学
-
出处
《计算机工程》
CAS
CSCD
北大核心
2015年第6期287-293,共7页
-
基金
国家自然科学基金资助项目(61233010)
-
文摘
Intel提出的第三代总线技术PCI Express在结构上可以满足计算机系统的发展对总线带宽的要求,基于PCIE的设计得以蓬勃发展,对PCIE的验证也成为So C功能验证的重要组成部分。为此,设计并实现一种状态图和覆盖率组合驱动的自动化验证平台,主要包括激励生成、自动检测和覆盖率分析机制,并将其应用于一款基于PCIE接口的协议栈芯片的功能验证。实验结果表明,该验证平台具有较好的激励生成机制,能够对协议栈芯片进行全面验证,同时具有较好的复用性、可扩展性,可以对多个协议栈的互连进行验证。
-
关键词
功能验证
pcie协议栈
协议栈验证
功能覆盖率
约束随机模拟
激励生成
-
Keywords
functional verification
pcie protocol stack
protocol stack verification
functional coverage rate
constrained random simulation
stimulus generation
-
分类号
TP331
[自动化与计算机技术—计算机系统结构]
-
