[发明专利]集成电路设计的RTL阶段期间的时钟门控验证

权利要求书

1.一种用于在寄存器传递级RTL电路设计阶段期间的时钟门控验证的方法，其特征在于，所述方法包括：

获得根据时钟门控格式在时钟门控CG规格中定义的时钟门控信息，其中

所述时钟门控信息描述由集成电路设计利用的至少第一门控时钟信号的目标时钟门控行为，

所述CG规格包括模板结构和顶部映射，

所述模板结构基于启用条件来定义输出门控时钟与输入时钟之间的关系，

所述顶部映射包括所述集成电路设计的顶级信号与所述模板结构之间的关联，以及

所述顶级信号包括映射到所述输出门控时钟的所述第一门控时钟信号、映射到所述输入时钟的第一非门控时钟信号和映射到所述启用条件的第一启用信号；以及

自动产生第一时钟门控CG检查器以验证所述第一门控时钟信号的时钟门控行为，其中

所述第一CG检查器基于在所述CG规格中定义的所述时钟门控信息产生，以及

在所述集成电路设计的测试期间，所述第一CG检查器验证所述第一门控时钟信号是否在第一预期时间被输出和所述第一门控时钟信号是否在第二预期时间被门控。

2.根据权利要求1所述的方法，其特征在于，所述自动产生所述第一CG检查器包括：

基于在所述CG规格中定义的所述时钟门控信息自动产生启用特性，所述启用特性包括：

启用标准，所述启用标准指示响应于所述第一非门控时钟信号的转变边沿和所述第一启用信号的第一状态而输出所述第一门控时钟信号，以及

启用行为序列，所述启用行为序列指示当满足所述启用标准时，预期所述第一非门控时钟作为所述第一门控时钟信号被输出。

3.根据权利要求2所述的方法，其特征在于，所述自动产生所述第一CG检查器包括：

基于在所述CG规格中定义的所述时钟门控信息自动产生禁用特性，所述禁用特性包括：

禁用标准，所述禁用标准指示响应于所述第一非门控时钟信号的所述转变边沿和所述第一启用信号的第二状态而门控所述第一门控时钟信号，以及

禁用行为序列，所述禁用行为序列指示当满足所述禁用标准时，预期所述第一门控时钟信号被门控。

4.根据权利要求3所述的方法，其特征在于，所述自动产生所述第一CG检查器另外包括：

自动产生用于所述启用特性的启用特性断言，其中所述启用特性断言被配置成提供关于在所述集成电路的测试期间所述启用特性断言的失效的指示；以及

自动产生用于所述禁用特性的禁用特性断言，其中所述禁用特性断言被配置成提供关于在所述集成电路的测试期间所述禁用特性断言的失效的指示，其中

所述第一CG检查器包括所述启用特性断言和所述禁用特性断言。

5.根据权利要求3所述的方法，其特征在于，

所述时钟门控信息另外包括被包括于所述启用行为序列中的接通周期时间和包括于所述禁用行为序列中的断开周期时间，

所述接通周期时间指示在满足所述启用标准之后，预期所述第一非门控时钟信号何时作为所述第一门控时钟信号被输出，以及

所述断开周期时间指示在满足所述禁用标准之后，预期所述第一门控时钟信号何时被门控。

6.根据权利要求1所述的方法，其特征在于

所述CG规格包括定义第二输出门控时钟与第二输入时钟之间的第二关系的第二模板结构和第二启用条件，以及

所述顶部映射的所述顶级信号另外包括映射到所述第二输出门控时钟的第二门控时钟信号、映射到所述第二输入时钟的第二非门控时钟信号和映射到所述第二启用条件的第二启用信号；以及

所述方法另外包括：

自动产生第二CG检查器以验证所述第二门控时钟信号的时钟门控行为，其中

所述第二CG检查器基于在所述CG规格中定义的所述时钟门控信息产生，以及

在所述集成电路设计的测试期间，所述第二CG检查器验证所述第二门控时钟信号是否在第三预期时间被输出和所述第二门控时钟信号是否在第四预期时间被门控。