基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
本文主要介绍了层次化CDFG中标准控制结构和并行结构的扩充及转换方法,从而为在高层次SOC设计中真正使用HCDFG提供了基础.同时,文中还给出了HCDFG在系统验证中的作用,它为不同方法的混合验证提供了统一而有效的内部结构.
推荐文章
一种基于 DSP 的多核 SOC中断扩展设计与实现
SOC系统
DSP中断
中断扩展设计
中断测试
SOC层次化验证方法及应用
SOC
交易
层次化验证
子系统
随机测试
面向总线系统的高层次结构化激励生成算法
总线系统
有向二分图模型
等价类划分
高层次功能覆盖率模型
结构化激励生成
基于CDFG的SoC验证方法及其分割与搜索算法
控制数据流图
SoC
验证
深度优先搜索算法
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 面向SOC系统设计的层次化CDFG的扩展1
来源期刊 计算机工程与科学 学科 工学
关键词 HCDFG 高层次综合 层次化 验证
年,卷(期) 2005,(4) 所属期刊栏目 硬件测试
研究方向 页码范围 46-48,95
页数 4页 分类号 TP302.1
字数 2950字 语种 中文
DOI 10.3969/j.issn.1007-130X.2005.04.016
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 边计年 清华大学计算机科学与技术系 50 326 9.0 16.0
2 薛宏熙 清华大学计算机科学与技术系 15 93 6.0 9.0
3 刘志鹏 清华大学计算机科学与技术系 5 42 4.0 5.0
4 王云峰 清华大学计算机科学与技术系 4 16 3.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (1)
共引文献  (2)
参考文献  (1)
节点文献
引证文献  (2)
同被引文献  (1)
二级引证文献  (0)
2001(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(1)
  • 参考文献(1)
  • 二级参考文献(0)
2005(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2006(1)
  • 引证文献(1)
  • 二级引证文献(0)
2008(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
HCDFG
高层次综合
层次化
验证
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与科学
月刊
1007-130X
43-1258/TP
大16开
湖南省长沙市开福区德雅路109号国防科技大学计算机学院
42-153
1973
chi
出版文献量(篇)
8622
总下载数(次)
11
总被引数(次)
59030
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
国家重点基础研究发展计划(973计划)
英文译名:National Basic Research Program of China
官方网址:http://www.973.gov.cn/
项目类型:
学科类型:农业
国家高技术研究发展计划(863计划)
英文译名:The National High Technology Research and Development Program of China
官方网址:http://www.863.org.cn
项目类型:重点项目
学科类型:信息技术
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导