[发明专利]基于SystemVerilog断言和任务的协同总线验证方法及系统

权利要求书

1.基于SystemVerilog断言和任务的协同总线验证方法，其特征在于，包括：

步骤1，列举AHB总线时序；

步骤2，根据AHB总线时序类型对AHB总线时序进行属性抽象；

步骤3，根据预设的条件对AHB总线时序属性用SystemVerilog断言描述，或者对AHB总线时序属性用SystemVerilog任务描述。

2.如权利要求1所述的协同总线验证方法，其特征在于，步骤2中，AHB总线时序抽象为传输中插入等待周期，空闲传输，忙传输，从机错误响应，从机重试响应，从机分块响应，流水操作，突发传输或复位。

3.如权利要求1或2所述的协同总线验证方法，其特征在于，步骤3中，如果AHB总线时序属性为传输中插入等待周期，空闲传输，忙传输，从机错误响应，从机重试响应或从机分块响应，则用SystemVerilog断言描述；如果AHB总线时序属性为流水操作，突发传输或复位，则用SystemVerilog任务描述。

4.如权利要求1或2所述的协同总线验证方法，其特征在于，还包括步骤4，进行覆盖率统计。

5.基于SystemVerilog断言和任务的协同总线验证系统，其特征在于，包括：

时序列举模块，用于列举AHB总线时序；

属性抽象模块，用于根据AHB总线时序类型对AHB总线时序进行属性抽象；

验证模块，用于根据预设的条件对AHB总线时序属性用SystemVerilog断言描述，或者对AHB总线时序属性用SystemVerilog任务描述。

6.如权利要求5所述的协同总线验证系统，其特征在于，AHB总线时序抽象为传输中插入等待周期，空闲传输，忙传输，从机错误响应，从机重试响应，从机分块响应，流水操作，突发传输或复位。

7.如权利要求5或6所述的协同总线验证系统，其特征在于，如果AHB总线时序属性为传输中插入等待周期，空闲传输，忙传输，从机错误响应，从机重试响应或从机分块响应，则用SystemVerilog断言描述；如果AHB总线时序属性为流水操作，突发传输或复位，则用SystemVerilog任务描述。

8.如权利要求5或6所述的协同总线验证系统，其特征在于，还包括统计模块，用于统计覆盖率。