[发明专利]基于UVM方法学的SVA封装方法

说明书

本发明公开了一种基于UVM方法学的SVA封装方法，包含如下步骤：创建配置数据库，配置数据库获取UVM的验证环境中配置完成的配置对象；创建封装断言，在封装断言中设置SVA配置接口方法；创建辅助组件，辅助组件对配置对象进行监测与更新，并将配置对象动态传递至SVA配置接口方法。本发明实现了在仿真过程中，对配置对象的动态监测与更新，解决了现有技术中配置对象无法被及时更新的缺陷，便于在基于UVM方法学的验证环境中使用SVA动态获取配置对象。

技术领域

本发明涉及软件技术领域，特别涉及一种基于UVM方法学的SVA封装方法。

背景技术

当我们对较为复杂的时序协议做验证的时候，往往会使用并发断言来辅助验证，现有的技术方案如图1所示，首先在UVM组件里的build_phase对配置对象进行配置，使用UVM(Universal Verification Methodology)的config_db配置数据库将配置完成的配置对象通过virtual interface的句柄调用set_config和set_checks_enable配置接口方法，向interface传递，然后再由其调用SVA（SystemVerilog Assertion），即这里的protocol_checker的配置接口方法，从而最终实现在protocol_checker中获取配置选项，使得断言检查以正常运行。

现有技术中存在如下缺陷：传递给demo_protocol_checker的配置选项是静态的，如果在仿真过程中配置对象demo_config被动态的修改了，那么demo_protocol_checker中的配置选项的值就不是最新的了，配置选项需要动态的被更新，否则断言就不能正确的完成对目标协议的检查。

发明内容

根据本发明实施例，提供了一种基于UVM方法学的SVA封装方法，包含如下步骤：

创建配置数据库，配置数据库获取UVM的验证环境中配置完成的配置对象；

创建封装断言，在封装断言中设置SVA配置接口方法；

创建辅助组件，辅助组件对配置对象进行监测与更新，并将配置对象动态传递至SVA配置接口方法进行封装。

进一步，辅助组件在封装断言中创建。

进一步，辅助组件包含：第一方法与第二方法；

第一方法实时获取配置数据库中的配置对象并将配置对象传递至封装断言；

第二方法对配置对象进行监测与更新。

进一步，在第一方法获取配置数据库中的配置对象之后，第二方法对配置对象进行更新。

根据本发明实施例的基于UVM方法学的SVA封装方法，实现了在仿真过程中，对配置对象的动态监测与更新，解决了现有技术中配置对象无法被及时更新的缺陷，便于在基于UVM方法学的验证环境中使用SVA 动态获取配置对象。

要理解的是，前面的一般描述和下面的详细描述两者都是示例性的，并 且意图在于提供要求保护的技术的进一步说明。

附图说明

图1为现有技术方案的原理图；

图2为根据本发明实施例基于UVM方法学的SVA封装方法的原理图；

图3为根据本发明实施例基于UVM方法学的流程图。