[00950614]基于多项式符号代数的系统芯片DA新方法研究

多项式符号代数能够描述多抽象层次的复杂芯片系统。该项目以该理论为基础展开研究工作。基础理论方面，在位级多项式符号代数中引入时间参数，建立了相应的运算规则；融合了多项式符号代数与波形多项式理论；提出了用多项式表示分支函数功能的方法，给出了无关项集在多项式阶的计算过程中的应用；针对IP重用的综合，定义了多项式表达形式到多项式矩阵表达形式的转换规则。模型建立方面，提出了WGL计算模型。该模型是用于电路定时和功能验证的多描述层次的统一模型。算法设计方面，运用WGL模型提出了精确考虑周期时序特性的时序电路最小时钟周期的确定方法、逆向构造的验证方法以及字级多项式的构造方法；基于多项式符号代数化简与分解，提出了采用分组策略的启发式方法来解决元件匹配问题；对可再配置结构中的综合方法进行研究，提出了基于多项式理论的分解算法；针对超深亚微米IC布线设计中的串扰问题，提出了基于波形多项式计算的同时考虑动态信号跳变和线间耦合电容的串扰估计和优化方法。另外该项目还完成了一些相关工作，提出了基于多目标演化算法的SoC设计空间搜索策略、基于Web的SoC协同设计流程以及基于SAT的检测组合电路中关键路径的方法等。