一种验证高级微控制器总线接口的装置

摘要

本发明公开了一种验证高级微控制器总线接口的装置，包括：参数生成单元，用于根据约束条件产生随机传输包，该传输包中包含数据、地址、读写类型、突发长度等参数；传输单元，用于随机传输包的内容，生成出不同的命令；驱动单元，用于将不同命令转化成接口上的信号，发送到验证对象；检测单元，用于监测验证对象总线的行为，并实时检查总线的协议的正确性；功能覆盖率统计单元，用于接收所述传输单元和/或检测单元发送的传输包，根据其内容进行总线行为的覆盖率统计，包括访问类型、地址空间、数据空间、突发类型中至少之一。本发明提供的装置适用于任何基于高级微控制器总线架构AMBA的系统级或模块级的验证，可提高整个芯片的设计验证效率。

主权项

一种验证高级微控制器总线接口的装置，其特征在于，包括：参数生成单元，用于根据约束条件产生随机传输包，该传输包中包含下述参数中至少之一：数据、地址、读写类型、突发长度，并发送所述随机传输包给传输单元；传输单元，用于所述随机传输包的内容，生成出不同的命令，并发送给驱动单元；驱动单元，用于将所述不同命令转化成接口上的信号，通过相应的标准接口发送到验证对象；检测单元，用于监测所述验证对象总线的行为，并实时检查所述总线的协议的正确性；功能覆盖率统计单元，用于接收所述传输单元和/或检测单元发送的传输包，根据其内容进行总线行为的覆盖率统计，包括访问类型、地址空间、数据空间、突发类型中至少之一。