收藏本站
《复旦大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

时间约束下数字系统的设计空间搜索方法研究

徐峰  
【摘要】: 在市场需求的推动下,数字系统的规模越来越大,逻辑功能越来越复杂。传统设计方法所能提供的设计效率渐渐无法满足设计需要,高层次综合(High-level Synthesis, HLS)已成为EDA(Electronic Design Automation)设计以及系统设计方法学领域的研究热点。而设计空间搜索是数字系统高层次综合中最重要的问题。 在数字系统设计中,系统的时间性能通常是最重要的性能指标,它直接决定了系统是否能够满足用户的需要。因此,本文对时间约束下数字系统的设计空间搜索问题进行研究,主要研究工作包括: 1)根据常用算术模块的多种设计原理,采用不同的结构、不同的流水线深度,以FPGA(Field Programmable Gate Array)为平台对这些模块进行设计实现,为本文设计空间搜索方法的研究提供实际的模块库支持。研究分析了模块的数据吞吐间隔、数据延迟、最高运行时钟频率和资源代价等属性,提出优选资源集的概念。在给定时钟频率下,通过筛选优选资源集以排除不必考虑的模块,从而缩小搜索空间。 2)研究非流水系统的设计空间搜索问题。寻找在满足系统数据延时约束的条件下,系统资源代价最小的设计方案。首先提出设计空间的分层搜索方法,进而又提出调度与搜索相融合的LSBB(List Scheduling Branch and Bound)搜索算法。该算法将模块选择及模块数量的搜索与列表调度融合到一个分支定界过程中,将搜索与调度同时进行,从而使搜索树更加细化,提高了搜索速度。对于实际设计中可能出现的数据流图规模,LSBB算法都能在很短的时间内给出近似最优的设计方案。 3)研究流水系统的设计空间搜索问题。考虑的是单向数据流系统,寻找在满足系统数据吞吐间隔约束的条件下,系统资源代价最小的设计方案。针对可变启动间隔的模块,对流水线调度问题进行建模和分析,得到存在完整调度方案的充分必要条件。基于这个结论,得以将模块选择问题与调度问题相分离,分别进行处理,从而降低了设计空间搜索问题的难度。 采用整数线性规划(Integer Linear Programming, ILP)方法对模块选择问题进行建模并求解。提出一种混合流水的迭代调度算法,即HPIS(Hybria Pipeline Iterative Scheduler)算法,处理流水线调度问题,寻求系统数据延迟尽可能小的调度方案。该算法在调度过程中通过保证模块的剩余调度能力,从而避免资源冲突的产生;通过优先级提升和迭代过程以寻找更紧凑的调度安排。对于实际设计中可能出现的数据流图规模,ILP方法都能在很短的时间内求解出模块选择方案,HPIS算法可以在多项式时间内给出比较好的流水线调度方案。 4)基于本文的模块库,采用常用的数字信号处理算法作为测试样例,对本文的设计空间搜索算法进行实验测试。基于实验结果,研究分析了系统的时间约束、时钟频率对设计方案的资源代价和数据延迟的影响。 5)将本文的设计空间搜索方法应用于实际工程项目中一个高斯滤波器的设计,并按照本文方法给出的设计方案进行设计实现。在满足系统时间性能要求的前提下降低了系统的资源消耗。这表明本文方法对实际数字系统设计具有一定的实用价值。
【学位授予单位】:复旦大学
【学位级别】:博士
【学位授予年份】:2010
【分类号】:TN79

免费申请
【参考文献】
中国博士学位论文全文数据库 前1条
1 黄少滨;EDA中高层次综合算法及两种时序综合理论比较研究[D];哈尔滨工程大学;2004年
【二级参考文献】
中国期刊全文数据库 前8条
1 何中礼,庄镇泉;一种数字电路高层综合器DCS[J];电子学报;1994年11期
2 苏明,薛宏熙,洪先龙;强时间约束条件下的调度优化算法[J];计算机辅助设计与图形学学报;1993年01期
3 刘泽坚,陆宏达,杨莲兴,陈芹;用于复杂数字系统测试的整体功能模型[J];计算机辅助设计与图形学学报;1999年06期
4 李淳,刘明业,吴沧浦;迭代的调度分配改进策略[J];计算机辅助设计与图形学学报;1996年03期
5 彭宇行,陈福接,李思昆;高速IC设计技术[J];计算机辅助设计与图形学学报;1996年06期
6 苏明,元彦宏,薛宏熙,洪先龙;基于浓度扩散的调度算法[J];计算机学报;1993年04期
7 谢涛,陈火旺,康立山;多目标优化的演化算法[J];计算机学报;2003年08期
8 徐善锋,初秀琴,李玉山,来新泉;21世纪微电子芯片设计技术发展方向[J];微电子学;2001年05期
【相似文献】
中国期刊全文数据库 前10条
1 张立杰;黄真;;一种球面冗余并联机器人机构设计的基础研究[J];中国机械工程;2006年07期
2 邓秋霞,吕宏伟,刘元会;设计空间的自动搜索[J];西安联合大学学报;1999年04期
3 吕宏伟;;基于Agent的设计空间搜索[J];科学技术与工程;2010年02期
4 熊元新;吴罡;;基于设计空间的基本开关电容电路滤波器设计[J];电力学报;2009年01期
5 何坚,贾晓琳,覃征,王向华;基于体系结构的软件分析设计过程模型[J];西安交通大学学报;2004年06期
6 周培德;;机械最优化设计(二)[J];机械设计与制造;1982年02期
7 王振宇,赵恒,张立;软件体系结构讲座(五)软件体系结构设计指南[J];计算机与数字工程;1999年05期
8 吴罡;熊元新;;基于设计空间的有源滤波器设计[J];微电子学与计算机;2007年02期
9 ;轻薄专家 TOSHIBA Portege R200[J];个人电脑;2005年10期
10 吕云麟;邓祁曾;;优化设计技术[J];机械与电子;1985年01期
中国重要会议论文全文数据库 前10条
1 黄成功;罗深荣;吴文福;;基于检测潜艇尾流引起的电磁场特征的磁力仪设计方案[A];第二十一届海洋测绘综合性学术研讨会论文集[C];2009年
2 王坤;李玉山;郭瑞林;高香林;;确保达标排放的电除尘器本体设计方案探讨[A];第十三届中国电除尘学术会议论文集[C];2009年
3 柯大烨;;山区农村饮水安全工程设计方案探讨[A];饮水安全的理论与实践——福建省科协第九届学术年会水利分会场论文集[C];2009年
4 王承;;支架形貌优化设计方法研究[A];结构及多学科优化工程应用与理论研讨会’2009(CSMO-2009)论文集[C];2009年
5 吕志昆;郎庆军;郭延明;滕文信;肖斌;;两种新型包合式饺子成型机的研制[A];中国机械工程学会包装与食品工程分会2010年学术年会论文集[C];2010年
6 赵广信;;抚顺市地下管线信息系统设计方案[A];地理空间信息技术与应用——中国科协2002年学术年会测绘论文集[C];2002年
7 王国瑞;邱红;曹利军;郑彩霞;;浅谈水利工程可行性研究报告设计方案的比较[A];山东水利学会第九届优秀学术论文集[C];2004年
8 刘俊涛;程小兵;;北盘江坝油滩动床物理模型设计[A];山区河流航道整治技术学术交流会论文集[C];2005年
9 赵毅;王仁贵;王梓夫;;杭州湾跨海大桥高墩区引桥下部结构及基础设计[A];中国公路学会桥梁和结构工程分会2005年全国桥梁学术会议论文集[C];2005年
10 肖箐;陆兆刚;;柳钢2032热轧生产线自动化系统总体设计[A];第十一届全国自动化应用技术学术交流会论文集[C];2006年
中国重要报纸全文数据库 前10条
1 ;打造完美的设计空间[N];浙江日报;2003年
2 程辉;无障碍的设计空间[N];中国包装报;2006年
3 唐燕;贺静;许景权;大混住,小聚居[N];中国建设报;2003年
4 本报记者 天孚 海琦;艺术的追求者付景林:设计空间无限制[N];承德日报;2005年
5 孙双艳编写;设计空间站的工程师能向电梯工程师学什么[N];中国经营报;2003年
6 记者 钱炜;北京奥运会火炬设计方案开始征集[N];科技日报;2005年
7 通讯员 杨振利;高起点规划 高标准建设[N];酒泉日报;2007年
8 记者 刘涌泉;铁岭新城区设计方案出自“大手笔”[N];辽宁日报;2006年
9 朝夕;感受多彩的世界[N];国际商报;2008年
10 记者 徐行翔实习生 林科;是“巍然子城”还是“秀丽子城”[N];嘉兴日报;2008年
中国博士学位论文全文数据库 前10条
1 徐峰;时间约束下数字系统的设计空间搜索方法研究[D];复旦大学;2010年
2 李建敦;私有云中虚拟资源的节能调度研究[D];上海大学;2011年
3 刘灿灿;科学工作流管理及调度研究[D];国防科学技术大学;2011年
4 江维;任务关键实时系统的可信感知调度研究[D];电子科技大学;2009年
5 张立杰;两自由度并联机器人的性能分析及尺寸优化[D];燕山大学;2006年
6 黄万伟;基于服务属性区分的可重构任务调度研究[D];解放军信息工程大学;2009年
7 杜立新;实时SOA中的服务调度关键问题研究[D];山东大学;2012年
8 李涛;高性能数字信号处理器的研究与设计[D];西北工业大学;2002年
9 瞿进;可重构系统软硬功能划分及任务调度技术研究[D];解放军信息工程大学;2011年
10 张博;面向可重构服务承载网的分域交换技术研究[D];解放军信息工程大学;2012年
中国硕士学位论文全文数据库 前10条
1 朱晓娜;公共交通监控调度管理系统的设计与实现[D];大连交通大学;2010年
2 王小丽;原油码头泊位调度问题仿真研究[D];武汉理工大学;2011年
3 张瑜;基于多QoS的网格资源调度研究[D];西北师范大学;2010年
4 许晋;基于遗传模拟退火算法的生产调度过程中工作量规划[D];福州大学;2006年
5 朱翀;面向涂装MES的分段涂装调度系统的设计与实现[D];上海交通大学;2011年
6 姜波;线程调度方法与测试工具的研究与实现[D];国防科学技术大学;2010年
7 龙泓;分布式工作流调度框架的设计和实现[D];清华大学;2011年
8 丁燕;电力通信业务调度系统的设计与实现[D];北京邮电大学;2010年
9 戴蓉;多跑道调度优化算法的仿真及分析[D];电子科技大学;2009年
10 伍小聪;网格资源调度研究及科学数据平台的应用[D];长春理工大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026