[发明专利]一种电路验证方法、装置、电子设备及存储介质

权利要求书

1.一种电路验证方法，其特征在于，包括：

获取待验证电路的时钟分布信息；所述时钟分布信息包括：所述待验证电路中需要加载时钟的电路模块或元件；

加载预先设置的时钟模型，并根据所述时钟分布信息将所述时钟模型实例化为所述待验证电路的时钟实例；

至少根据第一配置指令配置所述时钟实例，以利用所述时钟实例产生的时钟信号对所述待验证电路进行验证；

其中，所述至少根据第一配置指令配置所述时钟实例包括：

若所述待验证电路中设置有时钟发生器，则获取所述时钟发生器输出的第一时钟频率；

根据所述第一时钟频率以及所述第一配置指令，配置所述时钟实例；

若所述待验证电路中未设置时钟发生器，则根据第二配置指令，生成第二时钟频率；

根据所述第二时钟频率以及所述第一配置指令，配置所述时钟实例。

2.根据权利要求1所述的方法，其特征在于，所述加载预先设置的时钟模型，并根据所述时钟分布信息将所述时钟模型实例化为所述待验证电路的时钟实例包括：

将所述时钟模型加载至所述待验证电路的验证环境中；

根据所述时钟分布信息，检测所述待验证电路中是否设置有时钟发生器；

根据检测结果对所述时钟模型进行实例化。

3.根据权利要求2所述的方法，其特征在于，所述根据检测结果对所述时钟模型进行实例化包括：

若所述检测结果为所述待验证电路中设置有时钟发生器，则截断所述时钟发生器与所述待验证电路的信号连接，并将所述时钟模型的时钟信号输出端与所述待验证电路的时钟输入端连接；

若所述检测结果为所述待验证电路中未设置所述时钟发生器，则直接将所述时钟模型产生的时钟信号与所述待验证电路的时钟输入端连接。

4.根据权利要求2所述的方法，其特征在于，所述配置所述时钟实例包括：根据所述检测结果配置所述时钟实例。

5.根据权利要求1所述的方法，其特征在于，所述第一配置指令包括分频配置指令，包括分频比例，以根据所述分频比例得到具有目标频率的时钟。

6.根据权利要求5所述的方法，其特征在于，所述第一配置指令包括漂移配置指令，所述漂移配置指令用于对目标频率进行频率漂移，所述漂移配置指令包括对频漂范围的配置和对频漂方式的配置。

7.根据权利要求5所述的方法，其特征在于，所述第一配置指令还包括抖动配置指令，所述抖动配置指令用于对目标频率的时钟，做时钟沿的抖动处理；所述抖动包括单沿抖动有效或双沿抖动有效，所述抖动的方式包括周期性抖动或随机抖动，所述抖动的数值为固定值或指定范围内的随机值。

8.根据权利要求1所述的方法，其特征在于，所述第二配置指令包括发生配置指令，所述发生配置指令为用户配置的、用于产生第二时钟频率的指令，所述第二时钟频率为根据用户配置的目标频率而产生的固定频率，或预定范围内的随机时钟频率。

9.根据权利要求1所述的方法，其特征在于，所述时钟分布信息还包括以下至少一项：所述电路模块或元件中用于加载时钟的引脚、所述电路模块或元件所接入的时钟、各所述时钟的时钟类型。

10.根据权利要求1所述的方法，其特征在于，所述配置所述时钟实例之后，所述方法还包括：

利用所述时钟实例产生的时钟信号对所述待验证电路进行验证；

在验证过程中，通过所述时钟实例收集所述待验证电路的时钟性能参数；

根据所述时钟性能参数生成时钟覆盖率报告。