{"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.
硬件/软件(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为扫描一维搜索空间的片段数。实证结果表明,本文提出的算法运行速度极快,且与最新算法相比仍能产生更好或相似的解。