[发明专利]一种计时器的仿真验证装置及仿真验证方法

摘要

本发明实施例公开了一种计时器的仿真验证装置及仿真验证方法。其中，该计时器的仿真验证装置包括：寄存器配置组件和断言验证组件；寄存器配置组件用于生成配置计时器模块的第一寄存器和/或第二寄存器的配置数据；断言验证组件包括寄存器检查模块，寄存器检查模块包括与第一寄存器和/或第二寄存器一一对应的寄存器验证单元，任一寄存器验证单元用于对比寄存器数据与对应的第一寄存器或第二寄存器的数据，通过对比结果，检查第一寄存器或第二寄存器配置的正确性。本发明实施例的技术方案可实现对计时器模块内部中间环节产生的数据的正确性进行检查。

主权项

一种计时器的仿真验证装置，其特征在于，计时器模块，包括多个输入捕获通道，多个输出产生通道和寄存器子模块；其中，所述寄存器子模块包括：与各所述输入捕获通道对应设置的多个第一寄存器和与各所述输出产生通道对应设置的多个第二寄存器；任一所述输入捕获通道包括多个第一工作器，所述多个第一工作器按照第一预设连接方式进行数据传输，根据与所述第一工作器对应的第一寄存器的数据，确定所述第一工作器的工作模式，以实现预设输入捕获功能；任一所述输出产生通道包括多个第二工作器，所述多个第二工作器按照第二预设连接方式进行数据传输，根据与所述第二工作器对应的第二寄存器的数据，确定所述第二工作器的工作模式，以实现预设输出产生功能；仿真验证装置包括：寄存器配置组件和断言验证组件；所述寄存器配置组件，用于生成配置所述第一寄存器和/或所述第二寄存器的配置数据；所述计时器模块，用于根据所述配置数据，配置所述第一寄存器和/或第二寄存器的数据；所述断言验证组件，包括寄存器检查模块，其中，所述寄存器检查模块包括与所述第一寄存器和/或第二寄存器一一对应的寄存器验证单元，任一所述寄存器验证单元用于根据所述寄存器配置组件生成的配置数据，生成寄存器数据，对比所述寄存器数据与对应的第一寄存器或第二寄存器的数据，若对比结果为相同，则验证所述第一寄存器或第二寄存器配置正确，若对比结果为不相同，则验证所述第一寄存器或第二寄存器配置错误。