中文摘要：

超大规模集成电路芯片的高速化对设计自动化的理论和方法提出了新的要求。Boolean过程论是适应这种要求而提出的新的理论。本项目以该理论为基础展开研究工作。基础理论方面，提出波形多项式偏导、波形多项式向量、延时矩阵、多值Boolean过程、条件可敏化、考虑串绕的波形距离及三维Boolean过程等概念，并在此基础上提出时序电路的敏化定理、波形多项式描述跳变数的定理以及波形多项式的多项式符号表示与运算的模型和数据结构。算法设计方面，提出了一种精确的通用电路层次化延时分析方法；基于时序电路的敏化定理提出时序电路最小时钟周期精确确定方法；提出基于Boolean过程论的考虑互连延迟的逻辑电路波形模拟方法,在分析了波形模拟适合并行化基础上，进一步提出一种并行波形模拟算法；提出一种将位级电路波形多项式描述转化成字级多项式描述的新方法；提出一种基于多值Boolean过程的多值电路综合算法以及一种将前期设计定时规划、前期设计的布局规划和线网结构化方法及低偏移的时钟分配等技术相结合的面向互连延时的综合策略；提出一种串绕最小化的网格模式下的双层通道布线方法；从波形多项式描述跳变数的定理出发提出了一种考虑噪声效应的测试生成新方法。