[发明专利]一种芯片时钟树的验证方法、装置及芯片

说明书

本发明涉及微电子领域中的集成电路时钟检测技术领域，特别涉及一种芯片时钟树的验证方法、装置及芯片。本发明实施例提供的芯片时钟树的验证方法通过识别待测时钟的类型，识别出时钟源和时钟节点，根据时钟源和时钟节点建立时钟树模型，再将时钟树模型与待测时钟绑定，以对所述待测时钟进行实时监测，根据时钟树模型和实时监测的结果验证待测时钟。该方法基于待测时钟的时钟节点建立其对应的时钟树模型，并将时钟树模型与待测时钟绑定，就能在验证时钟树时基于时钟树模型进行逐一验证，验证覆盖率高且时钟复用性强，此外，在待测时钟的设计结构发生改变时，基于时钟树模型能够快速完成时钟的覆盖验证，极大的提升了时钟验证的效率。

技术领域

本发明涉及微电子领域中的集成电路时钟检测技术领域，特别涉及一种芯片时钟树的验证方法、装置及芯片。

背景技术

随着芯片规模越来越大，功能越来越多，时钟树的结构也越来越复杂，一旦时钟出错，那么整个芯片或者很多重要功能将不能正常工作，因此，在芯片设计时对时钟树进行验证越来越重要。

关于时钟树，需要先介绍时钟域的概念，时钟域指的是在同步电路中，被相同时钟信号驱动的寄存器共同组成一个时钟域，在一个复杂的集成电路中，往往存在多个时钟域。在理想的同步电路中，我们认为同时钟域中的所有寄存器的时钟边沿同时到达。但是在实际的电路中，这是不可能实现的，因此就需要对时钟域中的时钟信号进行管理，也即是采用时钟树进行管理，时钟树可以保证时钟域中的寄存器的时钟边沿偏最小，从而保证良好的时序特性。

关于时钟树的验证，例如，如图1所示，是一种采用两个时钟源的系统时钟设计。由于不同逻辑模块需求的时钟不同，所以时钟需经过多路复用器，分频器等器件将时钟改变，分别到达内部不同的逻辑模块，供逻辑模块正常工作。这些逻辑模块的时钟与时钟源会有所不同，但存在一定的关系。对于芯片的时钟树验证，需要验证到达不同逻辑模块的时钟是否正确。比如，图1中logic_2获得的时钟，当U1选通clock_2为10MHz时，ck2是否等于5MHz，ck3是否等于10MHz。

相关技术进行时钟树验证时，主要采用定向用例，或者利用部分随机来直接配置时钟树，并采用探针的方式来检查时钟是否正确。

发明人在实现本发明实施例的过程中发现，相关技术在进行时钟树检验时需要大量的用例才能获得较好的覆盖率，而使用大量的用例，在芯片设计修改时钟结构时，可能就需要大量修改用例才能适配新的时钟树结构，由此导致时钟树验证的复用性和灵活扩展性较差。

发明内容

本发明实施方式主要解决的技术问题是如何在保证时钟树验证时具有较好覆盖率的同时还具有较强的复用性和较高的灵活扩展性。

为解决上述技术问题，本发明实施方式采用的一个技术方案是：提供一种芯片时钟树的验证方法，所述方法包括：

识别待测时钟的类型，所述类型包括时钟源和时钟节点；

根据所述时钟源和所述时钟节点建立时钟树模型；

执行所述时钟树模型与所述待测时钟的绑定操作，以对所述待测时钟进行实时监测；

根据所述时钟树模型和所述实时监测的结果，验证所述待测时钟。

可选的，所述根据所述时钟源和所述时钟节点建立时钟树模型，包括：

获取每一时钟节点的类型，并根据所述每一时钟节点的类型确定所述时钟节点对应的时钟源；

关联所述时钟节点和与所述时钟节点对应的时钟源，以生成至少一条时钟链；

确定属性函数，所述属性函数用于使所述时钟树模型实现预设的功能；

根据所述至少一条时钟链和所述属性函数建立所述时钟树模型。

可选的，所述执行所述时钟树模型与所述待测时钟的绑定操作具体包括：