[发明专利]可重用SPI总线协议模块验证环境平台及其验证方法

摘要

本发明公开了可重用SPI总线协议模块验证环境平台及其验证方法。平台包括测试用例、虚拟定序器、虚拟序列发生器、SPI虚拟接口、SPI验证环境。SPI验证环境包括发送代理、接收代理、计分板、SPI配置模块。发送代理包括定序器、序列发生器、驱动器、发送监视器。虚拟定序器对虚拟序列发生器进行选择和调度，从而得到期望的激励序列。定序器调用序列发生器，实现对这个激励的拆分，并且发送到驱动器。所有以上激励采用TLM级数据，驱动器将TLM级激励转换成信号级数据，通过SPI虚拟接口发送到待测设计(DUT)上。接收代理监测DUT的输出，发送到计分板中，通过校验和比对产生验证结果，同时统计覆盖率。本发明还公开了该平台的验证方法。

主权项

1.一种可重用SPI总线协议模块验证环境平台，其用于验证待测SPI模块的主从设备之间的代码关系是否正确；其特征在于：该验证环境平台包括：测试用例库(1)、虚拟定序器(2)、虚拟序列发生器(3)、SPI虚拟接口(4)、SPI验证环境(5)；SPI验证环境(5)包括发送代理(51)、接收代理器(52)、计分板(53)、SPI配置模块(54)、TLM级数据结构定义模块(55)；发送代理(51)设置了定序器(511)、序列发生器(512)、驱动器(513)、发送监视器(514)；接收代理器(52)设置了接收监视器(521)；计分板(53)包括参考模型(531)和比较器(532)；其中：SPI验证环境(5)的各部件调用SPI配置模块(54)实现SPI验证环境(5)的配置；测试用例库(1)调用虚拟定序器(2)，虚拟定序器(2)选择调用虚拟序列发生器(3)，产生期望的激励；定序器(511)选择调用序列发生器(512)，拆分该激励，发送到驱动器上(513)；所有的激励采用TLM级数据，在TLM级数据结构定义模块(55)中定义；驱动器(513)将TLM级激励序列转换成信号，通过SPI虚拟接口(4)；发送监视器(514)监视待测SPI模块的输入，将待测SPI模块的输入信号转换成与发送数据相对应的TLM级数据输入到计分板(53)中；接收监视器(521)监视待测SPI模块的输出，产生与接收数据相对应的TLM级数据监视输出到计分板(53)中；计分板(53)将对两个TLM级数据校验和比对，并给出验证结果，同时统计覆盖率，根据该覆盖率判断验证待测SPI模块是否通过。