检索结果-维普期刊中文期刊服务平台

软硬件划分中基于一种新的层次化控制数据流图的粒度变换被引量：2: 1; 作者吴强 Wang +3 位作者 Yun-feng 王云峰边计年薛宏熙《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第3期387-393,共7页; 在一种控制数据流图定义的基础上 ,提出了面向软硬件划分中粒度选择的粒度变换方法变换以层次化结点为中介 ,包括合并和展开操作 ,并遵循所指定的若干要求以保证变换前后的系统表示在形式和功能上的一致性分析表明 ,这一变换过程简... 展开更多; 关键词层次化控制数据流图粒度选择粒度变换软硬件划分; 在线阅读下载PDF 职称材料

面向能耗相关软/硬件划分的层次化控制数据流图建模方法: 2; 作者郭兵曾蜀芳 +3 位作者沈艳王继禾伍元胜刘云本《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2011年第4期83-88,共6页; 针对C语言描述的嵌入式软件功能模型在时间和成本约束下以降低能耗为目标的软/硬件划分问题,提出一种面向划分的层次化控制数据流图(简称PO-HCDFG)方法。首先,对PO-HCDFG进行了形式化描述,然后,分析了C语言程序向PO-HCDFG的转换方法,包... 展开更多; 关键词软/硬件划分控制数据流图粒度变换能耗优化; 在线阅读下载PDF 职称材料

高层综合中一种新的控制/数据流图表示形式被引量：1: 3; 作者曹炜林争辉《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期896-899,共4页; 提出了一种新的控制 /数据流图 ( CDFG)的格式 ,这种 CDFG与过去一般所使用的 CDFG的最大区别在于这里的 CDFG引入了布尔节点 ( Bool-node)的概念 .文中介绍该这种新格式的具体细节 ;并给出了该 CDFG的实例和表示它的数据结构。; 关键词电子设计自动化高层综合控制/数据流图调度; 在线阅读下载PDF 职称材料

HCDFG-II—面向C语言系统描述的控制/数据流图表示被引量：4: 4; 作者牛亚文边计年 +1 位作者吴强薛宏熙《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第11期1547-1552,共6页; 介绍了基于C语言系统描述的面向软硬件划分的一种中间表示———层次化控制 /数据流图HCDFG II及其转换方法 HCDFG II根据C语言的特点对HCDFG进行了扩充 ,通过引入内存访问结点来表示和处理C程序中的数组及指针 ,通过定义并发结构来表... 展开更多; 关键词控制/数据流图软硬件划分层次化; 在线阅读下载PDF 职称材料

集成电路中的规则性提取算法被引量：2: 5; 作者郎荣玲秦红磊路辉《计算机学报》 EI CSCD 北大核心 2006年第4期597-601,共5页; 通过对现有文献中的规则性提取算法的全面分析,提出了一个新的基于图论方法的规则性提取算法.此算法可以生成任意给定电路系统的模块,并且在同构的前提下自动将模块分类.在生成模块的过程中保证相同顶点的模块只出现一次,降低了模块分... 展开更多; 关键词规则性超大规模集成电路控制数据流图同构模块; 在线阅读下载PDF 职称材料

集成电路的模块生成与选择算法被引量：2: 6; 作者郎荣玲戴冠中《电子学报》 EI CAS CSCD 北大核心 2005年第11期1955-1958,共4页; 借鉴软件设计中的思想,采用模块化技术是提高大规模集成电路的设计能力和系统芯片开发效率的重要手段.文章首先对现有的模块生成算法进行了全面的分析,在此基础上提出了一新的模块生成算法,此算法可生成一个电路系统的顶点数小于m的所... 展开更多; 关键词模块模块化技术规则性控制数据流图; 在线阅读下载PDF 职称材料

基于CDFG的SoC验证方法及其分割与搜索算法: 7; 作者李德识曹阳《计算机工程》 CAS CSCD 北大核心 2007年第2期9-11,共3页; 随着芯片复杂度以及市场对集成电路上市时间要求的不断提高,对SoC设计方法和验证方法带来了巨大的挑战。控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。该文针对SoC验证的需要,利用CDFG,研究了基于CDFG的验... 展开更多; 关键词控制数据流图 SOC 验证深度优先搜索算法; 在线阅读下载PDF 职称材料

动态可重构系统的时域划分及其行为级算法的定量分析被引量：1: 8; 作者陈乃金江建慧 +3 位作者陈昕周洲徐莹潘诚《小型微型计算机系统》 CSCD 北大核心 2011年第2期328-332,共5页; 对近20年来可重构系统的时域划分算法进行了分析,把它们分为网表级和行为级算法两大类.网表级时域划分算法主要采用网络流方法,使电路的面积、割网的个数等最小化,并使电路获得较小的时延和通信代价.我们对层划分、簇划分、增强静态列... 展开更多; 关键词可重构计算控制/数据流图粒度时域划分测试基准; 在线阅读下载PDF 职称材料

强时间约束条件下的调度优化算法的改进: 9; 作者陈麒麟林争辉《计算机工程》 CAS CSCD 北大核心 2002年第10期108-110,共3页; 对基于操作的结合律与分配律进行变换的强时间约束条件下的调度算法提出了改进。通过弱化基本操作变换类型的发生条件并结合递归试探的方法，改善了直接应用特定基本操作变换类型的同类算法适用范围窄、容易调度失败的缺点。; 关键词调度优化算法关键路径控制数据流图强时间约束结合律分配律 NP问题; 在线阅读下载PDF 职称材料

题名软硬件划分中基于一种新的层次化控制数据流图的粒度变换被引量：2: 1; 作者吴强 Wang Yun-feng 王云峰边计年薛宏熙; 机构清华大学计算机科学与技术系; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第3期387-393,共7页; 基金国家自然科学基金项目(90207017 60236020) +1 种基金国家"八六三"高技术研究发展计划(2003AA115110); 文摘在一种控制数据流图定义的基础上 ,提出了面向软硬件划分中粒度选择的粒度变换方法变换以层次化结点为中介 ,包括合并和展开操作 ,并遵循所指定的若干要求以保证变换前后的系统表示在形式和功能上的一致性分析表明 ,这一变换过程简单快速 ,变换前后功能一致、形式统一。; 关键词层次化控制数据流图粒度选择粒度变换软硬件划分; Keywords hierarchical CDFG granularity selection granularity transformation hardware-software partitioning; 分类号 TP302.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名面向能耗相关软/硬件划分的层次化控制数据流图建模方法: 2; 作者郭兵曾蜀芳沈艳王继禾伍元胜刘云本; 机构四川大学计算机学院成都信息工程学院控制工程学院; 出处《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2011年第4期83-88,共6页; 基金国家"863"高技术研究发展计划资助项目(2008AA01Z105) 四川省杰出青年科技基金资助项目(2010JQ0011); 文摘针对C语言描述的嵌入式软件功能模型在时间和成本约束下以降低能耗为目标的软/硬件划分问题,提出一种面向划分的层次化控制数据流图(简称PO-HCDFG)方法。首先,对PO-HCDFG进行了形式化描述,然后,分析了C语言程序向PO-HCDFG的转换方法,包括节点层次数的设置、数据依赖分析、划分对象的建立与粒度变换等关键问题,最后,通过实验验证了PO-HCDFG在软/硬件划分建模中的有效性。; 关键词软/硬件划分控制数据流图粒度变换能耗优化; Keywords hardware/software partitioning control and data flow graph granularity conversion energy consumption optimization; 分类号 TP302.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名高层综合中一种新的控制/数据流图表示形式被引量：1: 3; 作者曹炜林争辉; 机构上海交通大学大规模集成电路研究所; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期896-899,共4页; 文摘提出了一种新的控制 /数据流图 ( CDFG)的格式 ,这种 CDFG与过去一般所使用的 CDFG的最大区别在于这里的 CDFG引入了布尔节点 ( Bool-node)的概念 .文中介绍该这种新格式的具体细节 ;并给出了该 CDFG的实例和表示它的数据结构。; 关键词电子设计自动化高层综合控制/数据流图调度; Keywords electronic design automation high-level synthesis control/data flow graph (CDFG) scheduling optimization; 分类号 TN602 [电子电信—电路与系统] TN402 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名HCDFG-II—面向C语言系统描述的控制/数据流图表示被引量：4: 4; 作者牛亚文边计年吴强薛宏熙; 机构清华大学计算机科学与技术系; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第11期1547-1552,共6页; 基金国家重点基础研究发展规划项目 (G19980 3 0 40 3 ) 国家自然科学基金 ( 90 2 0 70 17) 国家"八六三"高技术研究发展计划 ( 2 0 0 3AA115 110 )的资助; 文摘介绍了基于C语言系统描述的面向软硬件划分的一种中间表示———层次化控制 /数据流图HCDFG II及其转换方法 HCDFG II根据C语言的特点对HCDFG进行了扩充 ,通过引入内存访问结点来表示和处理C程序中的数组及指针 ,通过定义并发结构来表示C程序中的可并发部分同时 ,由于HCDFG II采用以控制流为主的结构 ,从C语言进行转换十分容易这使得它能有效地作为C语言系统描述的中间表示。; 关键词控制/数据流图软硬件划分层次化; Keywords control/data flow graph(CDFG) software/hardware partition hierarchical; 分类号 TP302.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名集成电路中的规则性提取算法被引量：2: 5; 作者郎荣玲秦红磊路辉; 机构北京航空航天大学电子信息工程学院; 出处《计算机学报》 EI CSCD 北大核心 2006年第4期597-601,共5页; 文摘通过对现有文献中的规则性提取算法的全面分析,提出了一个新的基于图论方法的规则性提取算法.此算法可以生成任意给定电路系统的模块,并且在同构的前提下自动将模块分类.在生成模块的过程中保证相同顶点的模块只出现一次,降低了模块分类时的复杂性.算法对电路以及模块的结构没有任何限制,弥补了现有算法的不足.; 关键词规则性超大规模集成电路控制数据流图同构模块; Keywords modularity VLSI CDFG isomorphism template; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名集成电路的模块生成与选择算法被引量：2: 6; 作者郎荣玲戴冠中; 机构西北工业大学; 出处《电子学报》 EI CAS CSCD 北大核心 2005年第11期1955-1958,共4页; 文摘借鉴软件设计中的思想,采用模块化技术是提高大规模集成电路的设计能力和系统芯片开发效率的重要手段.文章首先对现有的模块生成算法进行了全面的分析,在此基础上提出了一新的模块生成算法,此算法可生成一个电路系统的顶点数小于m的所有模块,并且对电路系统以及模块的结构没有限制.本文还提出了一个模块选择算法,此算法可以在满足一定要求的前提下选择一部分模块覆盖整个电路,同时还对算法进行了实验分析.; 关键词模块模块化技术规则性控制数据流图; Keywords template modularity regularity control data flow graph; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于CDFG的SoC验证方法及其分割与搜索算法: 7; 作者李德识曹阳; 机构武汉大学电子信息学院; 出处《计算机工程》 CAS CSCD 北大核心 2007年第2期9-11,共3页; 基金国家"863"计划基金资助项目(2002AA1Z1490); 文摘随着芯片复杂度以及市场对集成电路上市时间要求的不断提高,对SoC设计方法和验证方法带来了巨大的挑战。控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。该文针对SoC验证的需要,利用CDFG,研究了基于CDFG的验证体系,给出了CDFG的几种定义,讨论了CDFG的表示方法,提出了基于CDFG的验证流程,研究了基于DFS的生成树算法、CDFG的分割算法和CDFG的搜索算法,并以实例说明了这些算法在验证流程中的作用。; 关键词控制数据流图 SOC 验证深度优先搜索算法; Keywords Control data flow graph（CDFG） System on chip （SoC） Verification Depth first search algorithm （DFS）; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名动态可重构系统的时域划分及其行为级算法的定量分析被引量：1: 8; 作者陈乃金江建慧陈昕周洲徐莹潘诚; 机构同济大学电子与信息工程学院安徽工程大学计算机与信息学院; 出处《小型微型计算机系统》 CSCD 北大核心 2011年第2期328-332,共5页; 基金国家"八六三"高技术研究发展计划基金项目(2009AA011705)资助国家自然科学基金项目(60903033)资助; 文摘对近20年来可重构系统的时域划分算法进行了分析,把它们分为网表级和行为级算法两大类.网表级时域划分算法主要采用网络流方法,使电路的面积、割网的个数等最小化,并使电路获得较小的时延和通信代价.我们对层划分、簇划分、增强静态列表调度、多目标时域划分等四种行为级时域划分算法进行了定量分析和比较,评价指标体系包括划分后的模块数、跨模块的输入/输出边数、划分后所有模块的执行总延迟.实验结果表明,层划分是四个算法划分后所有模块执行总延迟最小的;簇划分算法获得较少的跨模块的输入/输出边数;增强的静态列表调度和多目标时域划分两个算法在三个指标之间获得了一个好的折中.然而,这四个算法均没有考虑划分后的模块形状及模块的跨层映射成本.; 关键词可重构计算控制/数据流图粒度时域划分测试基准; Keywords reconfigurable computing control/data flow graph granularity temporal partitioning test benchmark; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名强时间约束条件下的调度优化算法的改进: 9; 作者陈麒麟林争辉; 机构上海交通大学大规模集成电路研究所; 出处《计算机工程》 CAS CSCD 北大核心 2002年第10期108-110,共3页; 文摘对基于操作的结合律与分配律进行变换的强时间约束条件下的调度算法提出了改进。通过弱化基本操作变换类型的发生条件并结合递归试探的方法，改善了直接应用特定基本操作变换类型的同类算法适用范围窄、容易调度失败的缺点。; 关键词调度优化算法关键路径控制数据流图强时间约束结合律分配律 NP问题; Keywords Critical path；Control data flow graph (CDFG)；Strong time constraints；Associativity；Distributivity; 分类号 O224 [理学—运筹学与控制论] TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	软硬件划分中基于一种新的层次化控制数据流图的粒度变换	吴强 Wang Yun-feng 王云峰边计年薛宏熙	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2005	2	在线阅读下载PDF 职称材料
2	面向能耗相关软/硬件划分的层次化控制数据流图建模方法	郭兵曾蜀芳沈艳王继禾伍元胜刘云本	《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
3	高层综合中一种新的控制/数据流图表示形式	曹炜林争辉	《上海交通大学学报》 EI CAS CSCD 北大核心	2000	1	在线阅读下载PDF 职称材料
4	HCDFG-II—面向C语言系统描述的控制/数据流图表示	牛亚文边计年吴强薛宏熙	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2004	4	在线阅读下载PDF 职称材料
5	集成电路中的规则性提取算法	郎荣玲秦红磊路辉	《计算机学报》 EI CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
6	集成电路的模块生成与选择算法	郎荣玲戴冠中	《电子学报》 EI CAS CSCD 北大核心	2005	2	在线阅读下载PDF 职称材料
7	基于CDFG的SoC验证方法及其分割与搜索算法	李德识曹阳	《计算机工程》 CAS CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
8	动态可重构系统的时域划分及其行为级算法的定量分析	陈乃金江建慧陈昕周洲徐莹潘诚	《小型微型计算机系统》 CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料
9	强时间约束条件下的调度优化算法的改进	陈麒麟林争辉	《计算机工程》 CAS CSCD 北大核心	2002	0	在线阅读下载PDF 职称材料