[发明专利]使用软约束提高UVM验证平台可复用性的方法

权利要求书

1.使用软约束提高UVM验证平台可复用性的方法，其特征在于，该方法步骤如下：

首先对测试空间进行划分，划分成可执行空间、合法空间和典型空间三部分，可执行空间是整个测试空间的一部分，只有在可执行空间中的测试用例，才能有效的被施加给被测对象，并得到响应，但响应可能是错误响应；合法空间内的被测对象能得到正确响应；典型空间为被测对象的工作区域；

定义可执行空间的约束为硬约束；定义合法空间和典型空间的约束时，可能在被调用时被违反的约束改变为软约束，不可能被违反的约束保持硬约束。

2.根据权利要求1所述的使用软约束提高UVM验证平台可复用性的方法，其特征在于，所述的软约束有多个共同存在时，若他们能同时被满足，则同时使用他们；若每一条都不能被满足，则全部丢弃不用。

3.根据权利要求2所述的使用软约束提高UVM验证平台可复用性的方法，其特征在于，所述的软约束设置有优先级原则，若一条优先级低的软约束导致另一条优先级高的软约束无法满足，则丢弃那条优先级低的软约束。

4.根据权利要求3所述的使用软约束提高UVM验证平台可复用性的方法，其特征在于，所述的软约束的优先级原则如下：

1）写在类中后边的约束优先级高于前面；

2）定义在结构外的约束优先级高于里面；

3）派生类中约束优先级高于父类；

4）后例化的实体中约束优先级高于前面。