2024年12月6日
星期五
|
欢迎来到维普•公共文化服务平台
登录
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
连志斌
作品数:
4
被引量:1
H指数:1
供职机构:
北京大学深圳研究生院
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
谢峥
北京大学深圳研究生院集成微系统...
王新安
北京大学深圳研究生院集成微系统...
李秋平
北京大学深圳研究生院
刘晴晴
北京大学深圳研究生院
刘畅
北京大学深圳研究生院
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
3篇
专利
1篇
期刊文章
领域
2篇
自动化与计算...
主题
3篇
状态机
2篇
容错
2篇
容错性
2篇
可重用
2篇
函数库
2篇
参考模型
1篇
信息保存
1篇
用户
1篇
用户自定义
1篇
树结构
1篇
通用总线
1篇
通用总线接口
1篇
自定义
1篇
总线
1篇
总线接口
1篇
接口
1篇
可重构
1篇
回调
1篇
SYSTEM...
1篇
UART
机构
4篇
北京大学
作者
4篇
谢峥
4篇
连志斌
3篇
王新安
2篇
柴玲玲
2篇
刘畅
2篇
刘晴晴
2篇
李秋平
1篇
宋建龙
1篇
罗永贵
1篇
刘芳
传媒
1篇
电子器件
年份
1篇
2017
1篇
2014
1篇
2013
1篇
2011
共
4
条 记 录,以下是 1-4
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
一种可重构的通用总线接口验证平台的研究及实现
被引量:1
2011年
以UART总线接口为例介绍一种高性能验证平台。该验证平台基于SystemVerilog语言,以功能覆盖率为导向,通过带约束的随机方法产生测试激励,并具有自动检查运行结果及可重用性等特点。实践表明,与传统的验证平台相比,该平台在验证效率及功能覆盖率方面均有明显的优越性;与基于VMM搭建的验证平台相比,该平台也表现出了一定的灵活性、易操作性的特点。
刘芳
谢峥
连志斌
王新安
关键词:
UART
SYSTEMVERILOG
VMM
一种实现和管理状态机信息的装置
本发明公开了一种实现和管理状态机信息的装置,包括绘制状态机的过程和修改状态机及管理状态机信息的过程。主要技术方案包括:创建状态机;按照预定规则绘制状态机的各个状态;按照预定规则的布局算法对所绘制的状态机的各个状态进行连线...
罗永贵
连志斌
谢峥
伍国斌
宋建龙
文献传递
一种可重用的参考模型结构及其建模方法与函数库
本发明提出了一种可重用的参考模型结构及其建模方法与函数库。该参考模型结构中,包含一种特殊的状态机核,可以从被验证设计的不同功能角度描述其内部状态,具有容错性和容非完整性,由抽象事件驱动,可以重用早期检验设计功能理解正确性...
谢峥
王新安
连志斌
李秋平
刘晴晴
刘畅
柴玲玲
文献传递
一种可重用的参考模型结构及其建模方法与函数库
本发明提出了一种可重用的参考模型结构及其建模方法与函数库。该参考模型结构中,包含一种特殊的状态机核,可以从被验证设计的不同功能角度描述其内部状态,具有容错性和容非完整性,由抽象事件驱动,可以重用早期检验设计功能理解正确性...
谢峥
王新安
连志斌
李秋平
刘晴晴
刘畅
柴玲玲
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张