公开(公告)号：CN105512381B

公开(公告)日：2019-08-09

申请号：CN201510875733.4

申请日：2015-12-03

申请人： 上海兆芯集成电路有限公司

发明人： 魏少雄 ,  林哲民 ,  李冰

IPC分类号： G06F17/50

摘要： 一种时钟延迟验证方法，包括:使用一约束文件，产生一第一时钟树综合规格文件，其中约束文件包括一实体电路中的多个时钟的描述；以及使用一电路设计文件以及第一时钟树综合规格文件，进行一第一时钟树综合验证模拟，以产生一第一综合后延迟时间值，其中电路设计文件包括实体电路的连接关系以及特征。

公开(公告)号：CN105512381A

公开(公告)日：2016-04-20

申请号：CN201510875733.4

申请日：2015-12-03

申请人： 上海兆芯集成电路有限公司

发明人： 魏少雄 ,  林哲民 ,  李冰

IPC分类号： G06F17/50

CPC分类号： G06F17/5045 ,  G06F2217/62

摘要： 一种时钟延迟验证方法，包括:使用一约束文件，产生一第一时钟树综合规格文件，其中约束文件包括一实体电路中的多个时钟的描述；以及使用一电路设计文件以及第一时钟树综合规格文件，进行一第一时钟树综合验证模拟，以产生一第一综合后延迟时间值，其中电路设计文件包括实体电路的连接关系以及特征。