收藏本站
《浙江大学》 2007年
收藏 | 手机打开
二维码
手机客户端打开本文

多维计算模型及其在数字系统高层次综合中的应用

王继民  
【摘要】: 数字系统发展迅速,在各行业得到了广泛应用,并且,在市场需求的推动下,将继续保持较快增长速度。数字系统的规模和复杂度不断提高,给数字系统的设计、测试和生产带来了一系列新问题。一方面,规模和复杂度的提高造成系统设计、生产难度提高,要求更长的设计、测试时间,而变化迅速的市场却要求更短的面市时间(TIM)。另一方面,系统规模和复杂度的提高使系统的功耗、体积有增大的趋势,但市场却要求提供体积小、性能好、功耗低的产品。要解决这些矛盾,首先必须在设计中不断改进方法,在生产中采用更先进的工艺。其次,在整个过程中都必须充分重视代价、性能与成本之间的关系,在各个方面间做出合理折衷。目前数字系统描述所采用的计算模型为一维模型,描述仅反映系统的行为与结果,而对计算过程的代价没有考虑,割裂了代价与性能的联系,不利于设计过程中代价优化和折衷的进行。把一维计算模型扩展为多维模型,在描述中融入代价信息,并在高层次综合中充分利用该代价信息,可使性能、代价、成本的关系得到自然体现,带来设计方法学的进步。 本文围绕一种新的计算模型——多维计算模型(MDCM),在MDCM的性质与表示方法、基于MDCM的剖析与高层次代价估算和代价感知的高层次综合这三个方面进行了如下创新工作: (1)把一维计算模型扩展为多维计算模型。分析了现在使用的一维计算模型在应用于计算具体实现时的不足,提出了一种扩展的多维计算模型(MDCM)。采用一维计算模型的描述仅关心对象的行为与结果,而忽略其实现载体和实现代价,但这些信息又是系统具体实现时最重要的方面之一,甚至决定方案的可行性。MDCM把操作对象和操作符都扩展为可支持任意数量和类型的属性,具体操作的代价通过操作符的属性及其计算规则定义给出,并在操作对象中维护。代价信息可用于问题具体实现时代价的分析和优化。对具体应用实例的分析表明,MDCM能清晰描述计算问题具体实现中的行为与代价关系,可作为代价评估与优化的辅助手段。 (2)提出了一种基于多维计算模型的代价剖析方法。数字系统在本质上是计算问题的具体实现,因此也可把MDCM应用于数字系统设计。数字系统高层次描述在进行抽象时忽略了很多细节信息,造成对其处理时代价信息的缺失,只能采用尽力而为的方法。本文提出了一种基于MDCM的代价剖析方法,通过对系统MDCM描述仿真,收集相关参数,实现数字系统较高层次的代价分析,分析数据还能应用于高层次综合,实现代价感知的高层次综合。本文以数据通路功耗为具体代价对象,以SystemC为具体描述语言,描述了利用MDCM进行代价剖析的方法,此方法可很容易地扩展到其他描述语言和其他代价对象,具有普遍应用意义。 (3)提出了一种利用多维信息的代价感知高层次综合算法。利用通过剖析和其他分析方法获得的代价信息,可以进行代价感知的高层次综合,对多个代价目标进行优化,并在各方面间进行折衷。本文提出了一种基于图的分解与归并的调度、分配、绑定结合算法——MOOS,实现多目标优化的高层次综合。首先针对典型的资源约束调度问题,把描述问题的DFG分为多个独立的部分,分别进行调度,然后在时间上界的约束下逐步合并为完整解。为解决调度链合并问题,还提出采用“不可用节点识别”和“快速最小合并长度预测”对合并进行加速。通过在调度过程中整合分配和绑定操作,算法可以对多个目标代价进行优化。为中间调度结果附加组件绑定信息,并在调度过程中根据用户代价约束排除不合理“配置”、利用代价函数对多个代价目标进行优化。调度链的分配和绑定问题被转化为带权重的二部图匹配问题,然后采用匈牙利算法求解。实验结果表明,MOOS能根据不同代价约束和优化条件查找问题的较优解,且速度明显快于整数线性规划(ILP)算法。 本文所做的研究工作主要解决了大规模数字系统高层次设计中的代价优化问题,提出了在高层次描述中挖掘、维护代价信息,并在高层次综合中利用代价信息的方法。MDCM作为这些工作的基础模型,其应用并不局限于数字系统设计领域,还可扩展用于其他计算问题具体实现时的代价分析与优化。
【学位授予单位】:浙江大学
【学位级别】:博士
【学位授予年份】:2007
【分类号】:TP311.52

免费申请
【参考文献】
中国期刊全文数据库 前1条
1 曹炜,林争辉;高层综合中一种新的控制/数据流图表示形式[J];上海交通大学学报;2000年07期
【共引文献】
中国期刊全文数据库 前10条
1 邓亮;赵进;王新;;基于遗传算法的网络编码优化[J];软件学报;2009年08期
2 王东;吴湘滨;;通过缓冲高适应度个体改进遗传算法实现的收敛特性[J];信息技术与信息化;2006年04期
3 王彬,林争辉;协同形式验证环境Co-Formal的建立与应用[J];上海交通大学学报;2003年S2期
4 王光伟;;当代微电子技术和产业的发展趋势综述[J];天津工程师范学院学报;2007年02期
5 王东;吴湘滨;;遗传编程运行期个体多样性分析方法及应用[J];计算机技术与发展;2006年09期
6 黄银龙;徐旭;谈广云;;基于无源超高频RFID的车载现场查验系统[J];微计算机信息;2010年32期
7 ;The On-Vehicle Inspection System Based on Passive UHF RFID[J];微计算机信息;2010年32期
8 刘娟;徐峰;俞承芳;李旦;;时间约束条件下改进力向调度算法[J];信息与电子工程;2009年02期
9 刘峰;梁勇强;;大规模集成电路可测性设计及其应用策略[J];玉林师范学院学报;2005年05期
10 平玲娣;王继民;陈小平;刘祖根;;基于子图归并的全局优化调度算法[J];浙江大学学报(工学版);2007年11期
中国重要会议论文全文数据库 前3条
1 ;Adaptive Transmission in Cognitive Radio Networks[A];2009中国控制与决策会议论文集(2)[C];2009年
2 ;Genetic Algorithm Combined with Immune Mechanism and its Application in Skill Fuzzy Control for Meteorological Radar[A];Proceedings of 2010 Chinese Control and Decision Conference[C];2010年
3 李光辉;冯冬芹;曾松伟;;基于拓扑结构分析的等价性验证方法[A];第五届中国测试学术会议论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 高保禄;大型复杂机电设备分布式故障诊断方法研究[D];太原理工大学;2010年
2 王浩丽;图的支配数及两个相关问题的研究[D];大连理工大学;2011年
3 何小娟;分布估计算法及其在生产调度问题中的应用研究[D];兰州理工大学;2011年
4 李恩颖;近似模型优化体系关键技术研究及应用[D];湖南大学;2009年
5 张涛;细胞色素P450酶多态性数据库构建及相关药物代谢研究[D];上海交通大学;2011年
6 姚克明;火星无人机控制与自主导航关键技术研究[D];南京航空航天大学;2011年
7 罗莉华;汽车自适应巡航控制及相应宏观交通流模型研究[D];浙江大学;2011年
8 王彪;计算机视觉技术在低空突防与精确打击中的应用研究[D];南京航空航天大学;2005年
9 卢永江;超大规模集成电路形式验证的方法研究[D];浙江大学;2005年
10 任佳;分类关联规则挖掘及其在复杂工业过程中的应用研究[D];浙江大学;2006年
中国硕士学位论文全文数据库 前10条
1 赵磊;适应多核处理器的任务调度研究[D];哈尔滨理工大学;2010年
2 王霄维;应用于集成电路形式化验证的SAT算法研究[D];长春工业大学;2010年
3 李萍;小波网络在经济预测中的应用[D];浙江大学;2010年
4 章华蔚;进化测试在嵌入式汇编的嵌套分支结构中的应用[D];西安电子科技大学;2009年
5 李智慧;基于BDD的逻辑电路验证[D];宁波大学;2009年
6 刘学美;基于探测车辆的道路识别和交通灯状态估计的方法研究[D];上海交通大学;2012年
7 周海洋;汽车级芯片封测、失效分析及质量管理[D];天津大学;2012年
8 秦强;基于基追踪、波形匹配和支持向量机的往复式压缩机气阀故障诊断研究[D];北京化工大学;2011年
9 冯玉婷;基于遗传算法的模式匹配系统优化技术[D];苏州大学;2011年
10 曹贤文;FGFR1选择性小分子抑制剂靶标识别及定量构效关系研究[D];华东理工大学;2012年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026