嵌入式系统的软硬件划分

嵌入式系统软硬件协同设计中的关键步骤之一是软硬件划分。现有的许多软硬件划分方法都试图捕获太多有关划分问题和目标结构的细节，可扩展性差。本文提出了一种简化的软硬件划分问题模型，这种简化模型能分别对不同的划分问题进行形式化定义。在此模型的基础上，本文给出了基于ILP的算法和遗传算法。实验结果表明，我们的遗传算法能有效地解决千万个节点规模的划分问题，并获得近似最优解。

Hardware/Software Partitioning in embedded system design

One of the most crucial steps in the hardware/software co-design of embedded systems is hardware/software partitioning. Most existing partitioning approaches try to capture too many details of partitioning problems and target architectures. In this paper, a simplified model for the hardware/software partitioning problem is introduced, and different versions of the partitioning problem are defined formally. Based on the simplified model, and ILP (integer linear programming) based approach and a genetic algorithm are presented. Experiments show that our genetic algorithm can solve the partitioning problem with thousands of nodes, yielding solutions close to optimal.