收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

高级综合优化算法研究

马伯伟  
【摘要】: 电子系统的设计复杂性和系统功能一直在呈几何级数增长,全球的竞争又加剧了产品开发周期的缩短。因此,对电子设计自动化工具的需求越来越迫切,要求也日益提高,这一切促进了EDA的发展,加速了设计方法和设计工具的更新换代。 本文在大量分析了以往高级综合系统所采用的技术基础上提出了我们的高级综合优化策略。本文提出了两种类型的高级综合方法,其一是提出了针对控制占主要部分的电路的高级综合方法,该方法采用了基于控制流图的中间表示结构,在调度过程中采用了针对该电路特点的推测技术。这是一种专用综合系统,适用面比较小,但在所针对具体的领域能够取得较理想的综合结果。 其二是提出了一种多目标的高级综合优化策略,该方法用在高级综合的调度之前,其核心是对系统进行划分,在将行为描述转化为内部表示模型的时,通过探索中间表示结果的关系来发现原设计描述中的控制关系和并行计算,以便在高级综合中取得理想的结果,同时将行为描述转化为图的过程中体现多种优化目的,所采用的中间表示模型为基于Petri网的内部表示模型,划分采用了模拟退火算法。该方法是可扩展的,允许设计者自己引入所要的优化目的。 本文实现了模拟退火算法,用于对系统所转化的图的划分,在本文的最后给出了具体的软件实现的详细说明,包括图的输入,解的格式,候选解的生成,解的造价等等,给出了部分的实验数据。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 袁小龙,沈绪榜;一种新的高级综合的设计表示模型[J];计算机辅助设计与图形学学报;1997年06期
2 刁岚松,孟晗,刘明业;Petri网与CDFG相结合的调度模型及其调度技术的研究[J];计算机工程与应用;2003年14期
3 李淳,刘明业,吴沧浦;迭代的调度分配改进策略[J];计算机辅助设计与图形学学报;1996年03期
4 刘明业,张东晓,许庆平;VHDL高级综合系统设计中某些关键问题的技术决策[J];计算机学报;1997年06期
5 马卫国,张东晓,刘明业;利用高级综合进行FPGA设计[J];计算机工程与科学;1996年01期
6 熊刚,孙优贤,许晓鸣;用Petri网生成信息系统模型的一种方法[J];计算机工程与应用;1998年09期
7 孟晗,刁岚松,杨凯,刘明业;高级综合中循环的综合方法研究[J];贵州工业大学学报(自然科学版);2002年04期
8 董亚卓;左艳辉;刘明政;窦勇;;一种面向可重构硬件的编译中间表示方法[J];计算机工程与科学;2008年09期
9 马聪,颜宗福,马卫国,刘明业;VHDL高级综合与底层物理设计的衔接[J];电子学报;1998年02期
10 许庆平,刘明业,宋瀚涛;面向高级综合验证的数据流图提取技术研究[J];软件学报;1999年05期
11 颜宗福,刘明业;高级综合中工艺映射技术的发展[J];计算机研究与发展;1996年02期
12 钱继兵;;基于控制流图的Java语言动态例化系统探讨[J];软件导刊;2007年23期
13 袁小龙,德远,沈绪榜;高级综合中流图优化问题的研究[J];计算机学报;1999年12期
14 闫大顺;姜淑娟;;一种分析异常传播路径的方法[J];计算机工程;2008年08期
15 孙赢盈;张毅坤;杨凯峰;张保卫;夏辉;;一种基于程序关联性分析的软件测试方法[J];计算机应用研究;2008年12期
16 徐希炜;;静态测试C++中定义未使用的变量[J];电脑编程技巧与维护;2009年16期
17 王黎明;陈科;许琳;张中宝;刘坚;陈平;;软件维护中基于异常处理结构的别名分析技术[J];西安电子科技大学学报;2011年01期
18 李春伟,赵京涛;结构化程序复杂性度量方法的分析[J];廊坊师范学院学报;2004年04期
19 吴艳霞;顾国昌;王克惠;;一种基于控制流检测的低功耗基本块划分方法[J];计算机工程与应用;2007年25期
20 孔德光;郑烇;帅建梅;陈超;葛瑶;;基于污点分析的源代码脆弱性检测技术[J];小型微型计算机系统;2009年01期
中国重要会议论文全文数据库 前10条
1 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
2 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
3 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
4 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
5 侯立文;蒋馥;;客户忠诚度提升决策研究[A];2004年中国管理科学学术会议论文集[C];2004年
6 乔非;吴启迪;沈荣芳;;基于Petri网的事务流程模型[A];管理科学与系统科学进展——全国青年管理科学与系统科学论文集(第4卷)[C];1997年
7 薛静锋;曹元大;;Petri网在入侵检测中的应用[A];第六届全国计算机应用联合学术会议论文集[C];2002年
8 胡红革;黄大贵;谢阅;;混和系统Petri网模型的行为特性及判定方法[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
9 胡瑜;陈光(礻禹);;GPIB高速数据传输协议的Petri网模型及分析[A];首届信息获取与处理学术会议论文集[C];2003年
10 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
中国博士学位论文全文数据库 前10条
1 潘光;基于VHDL高级综合的水下航行器自控系统集成设计研究[D];西北工业大学;2002年
2 王冠军;基于PSA和有限域理论的高级综合研究[D];哈尔滨工程大学;2009年
3 董亚卓;SoC中应用类IP核高级综合技术研究[D];国防科学技术大学;2008年
4 王政;嵌入式周期控制系统的建模与分析[D];华东师范大学;2012年
5 刘皓玮;行车指挥系统的Petri网建模与列车运行调整的遗传优化的研究[D];铁道部科学研究院;2000年
6 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
7 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
8 吴艳霞;基于汇编语言的控制流错误检测算法研究[D];哈尔滨工程大学;2008年
9 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
10 薛雷;基于Petri网的集成电路柔性制造系统建模、分析及调度[D];西安电子科技大学;2001年
中国硕士学位论文全文数据库 前10条
1 马伯伟;高级综合优化算法研究[D];哈尔滨工程大学;2003年
2 王文海;VHDL高级综合系统中组合逻辑综合的研究与实现[D];安徽大学;2004年
3 彭亚丽;高级综合中符号多项式方法的应用及接口综合[D];哈尔滨工程大学;2005年
4 李原;VHDL编译系统设计方法及关键技术研究[D];四川大学;2005年
5 戴敬周;用Petri网对语义网络歧义性和推理不确定性改进的探索[D];太原理工大学;2002年
6 熊惠明;Petri网在FMS中的若干应用研究[D];西安电子科技大学;2004年
7 张国群;软件项目开发中并行工程方法的过程建模的研究与应用[D];南京理工大学;2005年
8 秦巧妹;安阳供电公司业扩报装流程再造研究[D];华北电力大学(北京);2007年
9 潘德桥;基于UML-Petri网的舰载作战系统信息流建模与分析[D];华中科技大学;2006年
10 马柯;企业项目管理信息系统及工作流技术的研究[D];西安电子科技大学;2006年
中国重要报纸全文数据库 前10条
1 喜庆;传统旗帜下的“食色”享受[N];中国文化报;2007年
2 冯晶;物流人才在稀缺中过剩[N];现代物流报;2008年
3 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
4 记者 吴劼 特约记者 付言坤 通讯员 黄林源;天堂寨又添一大型旅游服务点[N];黄冈日报;2007年
5 钱薇;奥的斯引导电梯新潮流[N];中国工业报;2004年
6 本报记者 冉冉;美意——翻开中央空调新篇章[N];中国房地产报;2004年
7 ;“汽车饭”不那么好吃[N];中国经营报;2000年
8 新华社记者 王露;中国产品在秘鲁[N];新华每日电讯;2003年
9 李玉梅;技术是领先市场的强力引擎[N];中国房地产报;2004年
10 本报记者 沈力钧;决战新媒体竞争时代[N];计算机世界;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978