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

摘要

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