[发明专利]一种自动化IP验证平台

摘要

本发明提供一种加入算法模型的自动化IP验证平台，包括激励文件自动读取单元、激励文件格式转换单元、待验证IP电路、仿真数据自动采集模型、C语言模型单元、文件数据比较器。本发明将IP仿真验证平台和算法模型平台统一到一个共同的验证平台，验证人员在验证过程中不需要更换平台进行操作，整个验证工作都在一个平台上完成，大大减少了验证人员的工作量，并且减少了人工工作带来的出错风险。

主权项

一种自动化IP验证平台，其特征在于：包括激励文件自动读取单元、激励文件格式转换单元、待验证IP电路、仿真数据自动采集模型、C语言模型单元、文件数据比较器；所述激励文件自动读取单元，负责在验证人员让验证平台开始工作后，自动依次读取激励文件库的激励文件，后一个激励文件在前一个激励文件对应的验证仿真结束后自动被读入；激励文件被读入后，激励文件自动读取单元自动将激励数据文件送往所述C语言模型单元和所述激励文件格式转换单元；所述激励文件格式转换单元，负责将原来只能供C语言模型使用的激励文件，按照IP电路需要的时序格式进行转化，使其变为电路可识别的带有时序信息的激励数据，这样就可以使验证人员不需要同时维护两套激励文件；所述待验证IP电路，是指待验证的IP设计；所述仿真数据自动采集模型，负责采集所术待验证IP电路接收激励后的输出数据，并将数据以文件形式输出为一个仿真结果数据文件；同时负责在检测到所述待验证IP电路在仿真结束后，向所述激励文件自动读取单元和所述文件数据比较器输出仿真结束信号；所述C语言模型单元，负责运算所述待验证IP电路需要实现的算法，在接收到激励文件后，使用C语言运算得到参考正确结果数据，并将数据导出产生参考正确数据文件；所述文件数据比较器，负责在接收到所述仿真数据自动采集模型的仿真结束信号后，自动读取仿真结果数据文件和参考正确数据文件，并将两文件内容进行比较，如果一致则表示仿真正确，如果不一致则表示仿真错误，仿真判断结果信息最终被导出到验证结果记录文件，该文件中记录了每个激励文件对应的验证仿真结果。