CDFG

作品数：8被引量：38H指数：1
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：边计年薛宏熙王云峰吴强刘志鹏更多>>
相关机构：清华大学武汉大学四川大学重庆大学更多>>
相关期刊：《计算机研究与发展》《计算机工程》《Journal of Semiconductors》《计算机工程与应用》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划国防基础科研计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
复杂电力网络短路电流分布及地网分流系数被引量：36
《高电压技术》2011年第9期2233-2240,共8页文习山 胡建平 唐炬 
国家重点基础研究发展计划(973计划)(2009CB724500)~~
为改进电力系统短路故障电流的计算,将变压器的相分量模型与传统相分量法相结合,在此基础上提出了连接有任意回输电线路(包括架空线路和地下电缆)的变电站发生接地短路时故障电流分布和地网分流系数的计算方法,并开发了相应的计算软件FC...
关键词：变电站 变压器 接地短路 相分量法 故障电流分布 地网分流系数(CDFG) 
Linux环境下VHDL编译系统设计
《成都信息工程学院学报》2007年第2期182-185,共4页王昱 徐园 李亚军 
介绍了VHDL语言的发展和Linux操作系统,详细探讨了Linux环境下VHDL编译系统的设计。重点介绍了词法分析、语法分析、语义分析、符号表管理、出错处理及中间数据结构CDFG生成等6个模块。系统生成VHDL源描述的中间数据结构CDFG作为VHDL高...
关键词：VHDL LEX YACC 编译系统 CDFG 
基于CDFG的SoC验证方法及其分割与搜索算法
《计算机工程》2007年第2期9-11,共3页李德识 曹阳 
国家"863"计划基金资助项目(2002AA1Z1490)
随着芯片复杂度以及市场对集成电路上市时间要求的不断提高,对SoC设计方法和验证方法带来了巨大的挑战。控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。该文针对SoC验证的需要,利用CDFG,研究了基于CDFG的验...
关键词：控制数据流图 SOC 验证 深度优先搜索算法 
基于CDFG和OVL的系统验证性质分类被引量：1
《计算机工程》2005年第10期48-50,共3页朱明 边计年 吴为民 
国家自然科学基金资助项目(60273011);国家"863"高技术研究发展计划基金资助项目(2003AA115110)
在数据控制流图(CDFG)结构的基础上,结合模拟验证和模型检测的优点,对需要验证的系统性质进行分类,采用不同的验证方法,提高验证的能力。通过对OVL语言和CTL描述进行改进,针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质,实...
关键词：模拟 形式验证 性质 模型检测 数据控制流图 
面向SOC系统设计的层次化CDFG的扩展
《计算机工程与科学》2005年第4期46-48,95,共4页刘志鹏 边计年 王云峰 薛宏熙 
"973"国家重点基础研究发展规划 (G1998030403);国家自然科学基金资助项目(90207017);国家 863 计划资助项目(2003AA115110)。
本文主要介绍了层次化CDFG中标准控制结构和并行结构的扩充及转换方法,从而为在高层次 SOC设计中真正使用HCDFG提供了基础。同时,文中还给出了HCDFG在系统验证中的作用,它为不同方法的混合验证提供了统一而有效的内部结构。
关键词：数据结构 SOC系统 系统设计 CDFG 层次化 CASE 
SoC的模块生成与选择算法研究
《计算机研究与发展》2004年第11期2000-2005,共6页郎荣玲 张新家 夏煜 戴冠中 
国防基础研究资助项目 (J14 0 0B0 6)
随着集成电路设计复杂度的提高以及产品投放市场的周期要求越来越短 ,传统的集成电路设计方法不再满足要求 ,因此SoC应运而生 SoC就是指在芯片上用若干个已有的宏模块来搭建一个复杂的系统 ,于是固定模块的生成和选择问题成为系统设计...
关键词：片上系统 CDFG 规律性 
Petri网与CDFG相结合的调度模型及其调度技术的研究
《计算机工程与应用》2003年第14期51-54,共4页刁岚松 孟晗 刘明业 
部委项目资助
论文提出一种Petri网与控制数据流图(CDFG)结构相结合的调度模型,以及基于该模型的调度技术。Petri网表示VHDL源描述中的I/O时序信息,Petri网同一个位置结点中的信号赋值都是在同一个时刻进行的。根据每个位置结点中的语句再生成各自的C...
关键词：VHDL 高级综合 PETRI网 CDFG 调度 
Hardware Optimization Technique of Full-Customized HW/SW Co-Design被引量：1
《Journal of Semiconductors》2002年第6期637-644,共8页汤磊 魏少军 仇玉林 
国家自然科学基金资助项目 (批准号 :696760 2 4)
The hardware optimization technique of mono similarity system generation is presented based on hardware/software(HW/SW) co design.First,the coarse structure of sub graphs' matching based on full customized HW/SW ...
关键词：HW/SW co  design CDFG mono  similarity  system sub  graph compound  graph COMBINE usage  degree cost 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部