[发明专利]基于改进自适应随机配置法的统计时序分析方法及装置

摘要

本发明涉及一种统计静态时序分析方法。该方法基于改进的嵌套式稀疏网格积分法的自适应随机配置法MASCM来求解统计静态时序分析方法中的MAX逼近问题。在MASCM中，将MAX逼近按照输入端情况分为两类：线性输入条件和非线性输入条件。在线性输入条件下，MASCM选择具有最大均值的那个输入端作为MAX的输出。在非线性输入条件下，MASCM利用改进的嵌套式稀疏网格积分法来计算正交多项式展开系数。改进的嵌套式稀疏网格积分法提高了随机配置法中积分点的利用率，在保证积分精度的同时，减少了配置点的个数，降低了统计静态时序分析中的计算时间。本发明提出的MASCM方法具有与现有方法相当的计算精度，但所需要的积分点个数以及计算时间都大大降低。

主权项

一种统计静态时序分析方法，其特征在于，包括以下步骤：步骤一：建立基于随机正交多项式的门单元及互连线的统计时延模型；步骤二：读取电路网表，建立基于电路网表的时序图；步骤三：将门单元及互连线延时模型分别映射到随机时序图中相应的节点和边，并添加一个虚拟的信号源点以及一个虚拟的信号接收点；步骤四：虚拟的信号源点处的延时记为零，从该节点出发以广度优先的方式遍历整个时序图；步骤五：在遍历时序图时，对于时序图中边所对应的互连线，根据互连线输入端的到达时间和互连线的延时模型，利用SUM操作，求得信号经过互连线之后的到达时间，并将这一到达时间传递到下一级门单元；步骤六：对于时序图中的节点所对应门单元，根据门单元各输入的到达时间，对门单元执行MAX操作，并对MAX操作进行逼近，求得信号经过门单元后的到达时间，表示为Hermite随机正交多项式的形式，并将输出到达时间传递到与这一门单元相连的互连线或门单元；步骤七：判断是否遍历到信号接收点，如否，则转至步骤四；如是，则结束。