[发明专利]基于分层约束的测试用例激励方法、装置及电子设备

说明书

本公开提出一种基于分层约束的测试用例激励方法、装置及电子设备，其中，基于分层约束的测试用例激励方法包括：获取驱动配置信息对应的策略，其中，所述策略用于对所述驱动配置信息中的变量进行约束；对所述策略进行实例化，得到策略实例；将所述策略实例与所述策略实例对应的驱动配置信息进行关联，以生成目标驱动配置信息；向验证环境的代理单元发送所述目标驱动配置信息，由所述代理单元内置的驱动器通过所述策略实例对所述目标驱动配置信息中的变量进行约束，以激励测试用例。由此，驱动配置信息对应的策略可以用于对驱动配置信息中的变量进行约束，因此，在增加新的约束关系时通过分层约束可以减少约束类的耦合性，实现了驱动信息和约束行为的分层，减小了开发周期，提高了开发效率。

技术领域

本公开涉及芯片验证技术领域，尤其涉及一种基于分层约束的测试用例激励方法、装置及电子设备。

背景技术

在芯片验证过程中，使用一个基类类定义需要产生激励的变量，在此基类上不断继承，增加新的激励变量，在最终的子类中添加约束，使用内嵌约束控制所有变量产生激励之间的关系，得到满足条件的验证激励。然而，当前约束的形式采用不断继承基类扩展变量，在最终的子类中添加约束，导致不易增加新的约束，增加了开发验证环境的时间周期。因此，如何更好的增加约束，以提高开发效率，已成为了亟待解决的问题。

发明内容

本公开提出一种基于分层约束的测试用例激励方法、装置及电子设备。

本公开第一方面实施例提出了一种基于分层约束的测试用例激励方法，包括：获取驱动配置信息对应的策略，其中，所述策略用于对所述驱动配置信息中的变量进行约束；对所述策略进行实例化，得到策略实例；将所述策略实例与所述策略实例对应的驱动配置信息进行关联，以生成目标驱动配置信息；向验证环境的代理单元发送所述目标驱动配置信息，由所述代理单元内置的驱动器通过所述策略实例对所述目标驱动配置信息中的变量进行约束，以激励测试用例。

本公开实施例中，所述对所述策略进行实例化，得到策略实例之后，还包括：调用所述驱动配置信息中的策略添加函数；由所述策略添加函数，将所述策略实例添加至所述驱动配置信息中的策略队列中。

在本公开的一个实施例中，所述驱动配置信息对应多个策略实例时，所述将所述策略实例添加至所述驱动配置信息中的策略队列中，包括：获取所述多个策略实例的实例化结束时刻，并按照所述实例化结束时刻从早到晚的顺序，将所述多个策略实例按序添加至所述策略队列中。

在本公开的一个实施例中，所述驱动配置信息对应多个策略实例时，所述将所述策略实例添加至所述驱动配置信息中的策略队列中，包括：获取所述多个策略实例中每个策略实例所关联的变量；按照每个策略实例所关联的变量的属性，确定所述多个策略实例的顺序，并按序将所述多个策略实例按序添加至所述策略队列中。

在本公开的一个实施例中，所述将所述策略实例与所述策略实例对应的驱动配置信息进行关联，包括：调用所述驱动配置信息中的策略关联函数；运行所述策略关联函数，获取所述策略实例与所述驱动配置信息中变量的关联关系；按照所述关联关系，将所述策略实例中对变量的约束指向所述策略实例所关联的变量。

在本公开的一个实施例中，所述由所述代理单元内置的驱动器通过所述策略实例对所述目标驱动配置信息中的变量进行约束，以激励测试用例，包括：由所述驱动器通过所述策略实例对所述目标驱动配置信息进行随机化，在所述随机化过程中使用所述变量对应的策略实例对所述变量产生约束行为，以生成随机变量；基于所述随机变量产生激励信息，并通过所述激励信息驱动所述测试用例进行验证。

在本公开的一个实施例中，确定所述驱动配置信息对应的策略的参数信息；对策略基础类进行继承，并将所述参数信息输入所述策略基础类中以派生所述驱动配置信息对应的策略。