买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：西南科技大学

摘要：本发明公开了消除公共路径悲观度的静态时序分析方法，包括以下步骤：全局布线结果以及相关时序约束的输入、信用值表的建立、信号引脚数组构建、多引脚单元输出引脚数组合并、关键路径查找。本发明属于悲观度消除算法技术领域，具体是提供了一种用基于图遍历的无重复路径搜索的关键路径查找算法；用有序数组来存储所有关键路径的候选者且无重复路径；用对每个线程单独建表并最终合并为一张表的多线程不加锁的并行方式建立信用值表；用信用值差值作为关键路径候选者的过滤条件来完成多输入引脚单元输出引脚的到达时间数组合并；用每一个slack值对应一个指向前序引脚中数组slack值的方式来完成关键路径查找的消除公共路径悲观度的静态时序分析方法。

主权项：1.消除公共路径悲观度的静态时序分析方法，其特征在于：包括以下步骤：步骤S1：全局布线结果以及相关时序约束的输入，根据全局布线结果以及相关时序约束，可以更新所有引脚信号的到达时间；步骤S2：信用值表的建立，接着通过时钟树对所有配对触发器计算信用值，并建立信用值表，通过信用值表可以得到信用值边界值的差值，通过将公共路径延迟计算映射到时钟树结构中，将配对触发器信用值计算转换为时钟树最低公共父节点计算，并使用计算结果建立信用表，计算得到信用表的边界值差值，在建立信用表时使用多线程不加锁，并对每个线程单独建立独立的表，最后再合并为一张表的方法进行；步骤S3：信号引脚数组构建，在每一个引脚处对信号到达时间使用有序数组方式进行存储，同时存储升序和降序数组，其中升序对应保持时间检查，降序对应建立时间检查，并且在多输入引脚单元的输出引脚处；步骤S4：多引脚单元输出引脚数组合并，对输入的多个数组使用信用度差值进行过滤并合并为一个数组，在更新各引脚数组时，对单一输入的单元输出引脚不采用任何操作，将其数组直接传递到一下单元，在多引脚单元输出引脚处，将进行数组合并，数组合并过程为：将多个数组合并为大小为k的数组，k为需要查找关键路径数量，然后将信用值差值与该数组中最后一个值相加求和，所有数组中小于等于该和的值都被插入到该数组中；步骤S5：关键路径查找，最后在终点触发器对所有数组使用堆排序，并通过指针找到所需数量的关键路径，在终点触发器以及主输出处，通过查找信用值表，将所有的数组中的值与对应信用值进行计算以得到最终slack值，然后使用堆排序的方式得到所需数量的slack值，最后通过每一个引脚处存储的前一级引脚来得到所需数量的关键路径；步骤S6：输出关键路径。

全文数据：

权利要求：

百度查询： 西南科技大学 消除公共路径悲观度的静态时序分析方法