[发明专利]一种验证高级微控制器总线接口的装置

权利要求书

1.一种验证高级微控制器总线接口的装置，其特征在于，包括：

参数生成单元，用于根据约束条件产生随机传输包，该传输包中包含下述参数中至少之一：数据、地址、读写类型、突发长度，并发送所述随机传输包给传输单元；

传输单元，用于所述随机传输包的内容，生成出不同的命令，并发送给驱动单元；

驱动单元，用于将所述不同命令转化成接口上的信号，通过相应的标准接口发送到验证对象；

检测单元，用于监测验证对象总线的行为，并实时检查所述总线的协议的正确性；

功能覆盖率统计单元，用于接收所述传输单元和/或检测单元发送的传输包，根据其内容进行总线行为的覆盖率统计，包括访问类型、地址空间、数据空间、突发类型中至少之一；

所述检测单元包括监测模块和检查模块，所述监测模块与所述验证对象总线通过接口(Interface)通信，所述监测模块与所述检查模块通过邮箱(mailbox)通信。

2.如权利要求1所述的装置，其特征在于，所述随机传输包中还包括下述参数至少之一：

读写ID、数据包大小、锁定类型、响应类型。

3.如权利要求1所述的装置，其特征在于，

在所述随机传输包中设置有监听读类型、监听写类型或/和域类型元素。

4.如权利要求1所述的装置，其特征在于，

所述传输单元采用回调机制，根据用户需要，注入一些错误的元素到所述传输包，以检查验证对象在不合法激励下的响应。

5.如权利要求1所述的装置，其特征在于，

所述驱动单元中维护有缓存模型，根据不同的高级一致性扩展接口类型来获取或更新缓存模型的状态，模拟一个真实高级一致性扩展接口中的高速缓存行为，用于响应和/或发送监听类型的访问。

6.如权利要求1所述的装置，其特征在于，

所述驱动单元中设置有操作控制模块，用于控制将读写操作分开，并根据超发深度控制传输进程，若未达到预定的超发深度，则连续驱动地址；若达到预定的超发深度，则等待一个传输结束再发起下一次传输。