微电子工艺的快速发展促使集成电路进入SoC时代,但是随着设计复杂度的提高,传统的设计方法已经无法满足片上系统设计的需要。因此软硬件协同设计方法学应运而生,而软硬件划分技术又是软硬件协同设计技术中的关键技术之一。因此,研究SoC设计中的软硬件划分方法,构建一种合理的系统描述模型,提出划分算法并对其进行优化改进,将有十分重要的理论及应用价值。本文介绍了软硬件协同设计的研究领域以及国内外的发展现状,重点研究了在解决软硬件划分问题所使采用的数学模型,同时分析了目前划分技术中普遍存在的问题。比较遗传算法(Genetic Algorithm,GA)和禁忌搜索(Tabu Search,TS)各自优缺点的基础上,面向嵌入式系统和SoC软硬件双路划分问题,本文创新性地提出了提出遗传禁忌搜索混合算法(Genetic Algorithm and Tabu Search,GATS)的策略,采用免费任务图(Task Graph for Free,TGFF)工具生成的有向无环图作为软硬件双路划分的数学模型,用GA提供并行搜索的主框架,TS作为GA的变异算子,GA中变异过程解空间的搜索由TS实现。最后,将GA、TS算法与GATS算法分别使用由TGFF工具生成的真实数据进行编程,对比验证,验证结果表明GATS算法能够克服GA爬山能力差、TS单点出发的弱点,从而得到更优秀,精度更高的划分结果。