One-dimensional Search Algorithms for Hardware/Software Partitioning

W. Jigang, T. Srikanthan, Guang Chen
{"title":"One-dimensional Search Algorithms for Hardware/Software Partitioning","authors":"W. Jigang, T. Srikanthan, Guang Chen","doi":"10.1109/MEMCOD.2007.371230","DOIUrl":null,"url":null,"abstract":"Hardware/software (HW/SW) partitioning is one of the key challenges in HW/SW co-design. This paper presents a new formulation to handle the HW/SW partitioning problem, which has been proved to be NP-hard. The proposed formulation transforms the partitioning problem into an extended 0-1 knapsack problem that is approximately solved in this paper by scanning a one-dimensional search space, instead of scanning a two-dimensional search space as presented in the literature cited in this paper. Two heuristic algorithms are proposed to explore the feasible partitions to meet the given constraints. The time complexity of the latest heuristic algorithm is significantly reduced from O(dx ldr dy ldr n3) to O(n log n + d ldr (n + m)) for the given graphs with n nodes and m edges, where dx ldr dy is the number of the fragments of the scanned two-dimensional search space, and d is that of the scanned one-dimensional search space. Empirical results show that the proposed algorithms run extremely fast and still produce better or similar solutions in comparison with the latest algorithm.","PeriodicalId":345459,"journal":{"name":"2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)","volume":"62 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MEMCOD.2007.371230","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3

Abstract

Hardware/software (HW/SW) partitioning is one of the key challenges in HW/SW co-design. This paper presents a new formulation to handle the HW/SW partitioning problem, which has been proved to be NP-hard. The proposed formulation transforms the partitioning problem into an extended 0-1 knapsack problem that is approximately solved in this paper by scanning a one-dimensional search space, instead of scanning a two-dimensional search space as presented in the literature cited in this paper. Two heuristic algorithms are proposed to explore the feasible partitions to meet the given constraints. The time complexity of the latest heuristic algorithm is significantly reduced from O(dx ldr dy ldr n3) to O(n log n + d ldr (n + m)) for the given graphs with n nodes and m edges, where dx ldr dy is the number of the fragments of the scanned two-dimensional search space, and d is that of the scanned one-dimensional search space. Empirical results show that the proposed algorithms run extremely fast and still produce better or similar solutions in comparison with the latest algorithm.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
硬件/软件分区的一维搜索算法
硬件/软件(HW/SW)分区是硬件/软件协同设计的关键挑战之一。本文提出了一个处理硬件/软件划分问题的新公式,该公式已被证明是np困难的。本文提出的公式将分区问题转化为扩展的0-1背包问题,本文通过扫描一维搜索空间近似求解,而不是像文中引用的文献那样扫描二维搜索空间。提出了两种启发式算法来探索满足给定约束的可行分区。对于给定的n个节点和m条边的图,最新启发式算法的时间复杂度从O(dx ldr dy ldr n3)显著降低到O(n log n + d ldr (n + m)),其中dx ldr dy为扫描二维搜索空间的片段数,d为扫描一维搜索空间的片段数。实证结果表明,本文提出的算法运行速度极快,且与最新算法相比仍能产生更好或相似的解。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
One-dimensional Search Algorithms for Hardware/Software Partitioning Type Inference for IP Composition Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults Scheduling as Rule Composition Towards Equivalence Checking Between TLM and RTL Models
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1