随着电子计算机及其相关技术的发展，计算机辅助设计(CAD)和电子设计自动化(EDA)正在全世界范围内兴起。 高级综合是在逻辑综合的基础上发展而来的，它从高层次的行为描述开始，自动综合出低层次的结构描述，从而降低了设计复杂度，提高了设计效率。 逻辑综合的功能是对组合逻辑函数的描述进行转换和优化，生成与逻辑功能描述等价的优化的逻辑级纯结构描述。 组合逻辑综合是本文研究的重点，其中包括两级逻辑综合和多级逻辑综合两个方面。 本文所完成的组合逻辑综合的研究与实现是控制流综合系统的一个组成部分，其中包括： (1) 引入并实现了两级逻辑综合的“ESPRESSO”算法，定义与系统相适应的数据结构，重新测试各种开关条件，使之适用于系统的实际应用。 (2) 改进并实现了新的“矩形覆盖因式分解”算法。 (3) 面向实际的工艺单元库，重新定义并实现了因式分解中因子提取的加权方法。 (4) 设计并实现了“多级逻辑综合延迟均衡”算法。 (5) 设计了“基于通用决定因子的BDD因式分解”算法。 此外，还采用了手工验证和模拟验证的方法对组合逻辑的综合结果进行了正确性验证；收集了逻辑综合实例运行的规模和时间信息，为今后系统的维护、改进和扩充打下了基础；本文还在设计和实现算法的同时进行了系统实用化的工作。