期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
PCIE协议栈模拟验证平台的设计和实现
被引量：
3
1
作者
张良
王天成
+2 位作者
王健
李华伟
郭建
《计算机工程》
CAS
CSCD
北大核心
2015年第6期287-293,共7页
Intel提出的第三代总线技术PCI Express在结构上可以满足计算机系统的发展对总线带宽的要求,基于PCIE的设计得以蓬勃发展,对PCIE的验证也成为So C功能验证的重要组成部分。为此,设计并实现一种状态图和覆盖率组合驱动的自动化验证平台,...
Intel提出的第三代总线技术PCI Express在结构上可以满足计算机系统的发展对总线带宽的要求,基于PCIE的设计得以蓬勃发展,对PCIE的验证也成为So C功能验证的重要组成部分。为此,设计并实现一种状态图和覆盖率组合驱动的自动化验证平台,主要包括激励生成、自动检测和覆盖率分析机制,并将其应用于一款基于PCIE接口的协议栈芯片的功能验证。实验结果表明,该验证平台具有较好的激励生成机制,能够对协议栈芯片进行全面验证,同时具有较好的复用性、可扩展性,可以对多个协议栈的互连进行验证。
展开更多
关键词
功能
验证
PCIE
协议
栈
协议栈验证
功能覆盖率
约束随机模拟
激励生成
在线阅读
下载PDF
职称材料
一种可配置与可扩展的USB3.0验证知识产权协议栈设计
2
作者
周懿
刘航天
+1 位作者
戴紫彬
张立朝
《计算机工程》
CAS
CSCD
北大核心
2016年第5期304-307,312,共5页
USB3.0可满足高速外设对总线带宽及传输速率的需求,已广泛应用于高速外设。而USB3.0控制器验证已成为片上系统功能验证的重要组成部分。为此,在分析USB3.0验证知识产权(VIP)结构的基础上,研究VIP协议栈及其可配置与可扩展设计,从协议层...
USB3.0可满足高速外设对总线带宽及传输速率的需求,已广泛应用于高速外设。而USB3.0控制器验证已成为片上系统功能验证的重要组成部分。为此,在分析USB3.0验证知识产权(VIP)结构的基础上,研究VIP协议栈及其可配置与可扩展设计,从协议层、链路层、物理层、配置参数类、callback类5个方面展开。与定向测试法相比,该协议栈在大规模功能验证中可有效提高验证效率。
展开更多
关键词
串行通用总线
验证
知识产权
协议
栈
可配置
可扩展
验证
方法学
在线阅读
下载PDF
职称材料
题名
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 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
一种可配置与可扩展的USB3.0验证知识产权协议栈设计
2
作者
周懿
刘航天
戴紫彬
张立朝
机构
解放军信息工程大学三院
出处
《计算机工程》
CAS
CSCD
北大核心
2016年第5期304-307,312,共5页
文摘
USB3.0可满足高速外设对总线带宽及传输速率的需求,已广泛应用于高速外设。而USB3.0控制器验证已成为片上系统功能验证的重要组成部分。为此,在分析USB3.0验证知识产权(VIP)结构的基础上,研究VIP协议栈及其可配置与可扩展设计,从协议层、链路层、物理层、配置参数类、callback类5个方面展开。与定向测试法相比,该协议栈在大规模功能验证中可有效提高验证效率。
关键词
串行通用总线
验证
知识产权
协议
栈
可配置
可扩展
验证
方法学
Keywords
serial universal bus
Verification Intellectual Property （VIP） protocol stack
configurability
expandability
verification methodology
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
PCIE协议栈模拟验证平台的设计和实现
张良
王天成
王健
李华伟
郭建
《计算机工程》
CAS
CSCD
北大核心
2015
3
在线阅读
下载PDF
职称材料
2
一种可配置与可扩展的USB3.0验证知识产权协议栈设计
周懿
刘航天
戴紫彬
张立朝
《计算机工程》
CAS
CSCD
北大核心
2016
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
