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

说明书

【技术领域】

本发明涉及集成电路IP验证平台，具体是指一种自动化IP验证平台。

【背景技术】

随着微电子技术的飞速发展，集成电路规模按照摩尔定律(微芯片上集成的晶体管数目每18个月翻一番)飞速提高，片上系统(System On Chip，简称SOC)技术成为国际超大规模集成电路的发展趋势。在SOC系统设计中，为了能够快速、稳定的形成产品，IP(intellectual property)核积累和复用技术逐渐成为各个芯片厂商的首选。在这样的背景下，IP复用技术成为了集成电路设计的一个重要分支，很多设计厂商在购买其它公司的IP核的同时，也越来越重视本公司的IP核设计和积累。

在IP累积过程中，设计和验证是最重要的两个部分，而随着IP电路设计功能和结构的日益复杂，验证的工作量和难度更是以几何级数的速度上升。验证就是通过各种仿真、数据比较等手段来证明设计的正确性的过程，由于要在验证过程中需要证明设计在定义的所有的工作条件范围内不能出现错误，所以验证的工作量相对于设计来说更加巨大。在部分复杂IP的研发过程中，验证的时间甚至占到了总时间的80％以上。

随着IP验证工作量的上升，一个复杂IP包含的算法越来越多，设计和验证时所需要的算法也随之增多，验证时算法模型和验证平台的分离给验证工作带来了大量时间浪费。

现有的复杂IP验证中仿真验证平台和算法模型平台是分离的两个平台，激励信息文件需要有两种格式，分别用于IP仿真验证平台和算法模型运算，两种格式文件需要验证人员分别生成或者手工转换。仿真验证的正确性的证明方法是，在IP仿真验证平台和算法模型中使用相同激励信息，然后对比IP电路和算法中最终的电路仿真采集数据结果和算法模拟计算结果，如果两者一致则可证明电路可实现算法的功能；验证人员先使用激励信息在算法模型中产生模拟计算结果，并导出形成参考正确输出文件；然后再IP仿真验证平台使用相同的激励信息进行电路仿真，在与算法模拟计算节点对应的位置采集输出数据，并将数据导出形成节点仿真采集数据文件；仿真和算法不同的平台会造成手工移动数据文件时出错的风险增加，同时手工移动文件到一个位置也加大了验证人员的工作量。在得到两者的节点文件后，需要验证人员手动将两个平台的文件整理到一起，然后再将对应节点的仿真采集数据文件和参考正确输出文件一个一个进行比较，以此顺序来完成验证的工作。大量的手工工作加大了出错的风险，也使得验证人员的工作量非常巨大。

如何将算法模型平台和仿真验证平台有机的结合，减少两个平台之间的交互时间和人工工作量，都是当前复杂IP验证面临的巨大挑战。

【发明内容】

本发明所要解决的技术问题在于提供一种加入算法模型的自动化IP验证平台，大大减少了验证人员的工作量，并且减少了人工工作带来的出错风险。

本发明采用以下技术方案解决上述技术问题：

一种自动化IP验证平台，包括激励文件自动读取单元、激励文件格式转换单元、待验证IP电路、仿真数据自动采集模型、C语言模型单元、文件数据比较器；

所述激励文件自动读取单元，负责在验证人员让验证平台开始工作后，自动依次读取激励文件库的激励文件，后一个激励文件在前一个激励文件对应的验证仿真结束后自动被读入；激励文件被读入后，激励文件自动读取单元自动将激励数据文件送往所述C语言模型单元和所述激励文件格式转换单元；

所述激励文件格式转换单元，负责将原来只能供C语言模型使用的激励文件，按照IP电路需要的时序格式进行转化，使其变为电路可识别的带有时序信息的激励数据，这样就可以使验证人员不需要同时维护两套激励文件；

所述待验证IP电路，是指待验证的IP设计；

所述仿真数据自动采集模型，负责采集所术待验证IP电路接收激励后的输出数据，并将数据以文件形式输出为一个仿真结果数据文件；同时负责在检测到所述待验证IP电路在仿真结束后，向所述激励文件自动读取单元和所述文件数据比较器输出仿真结束信号；

所述C语言模型单元，负责运算所述待验证IP电路需要实现的算法，在接收到激励文件后，使用C语言运算得到参考正确结果数据，并将数据导出产生参考正确数据文件；

所述文件数据比较器，负责在接收到所述仿真数据自动采集模型的仿真结束信号后，自动读取仿真结果数据文件和参考正确数据文件，并将两文件内容进行比较，如果一致则表示仿真正确，如果不一致则表示仿真错误，仿真判断结果信息最终被导出到验证结果记录文件，该文件中记录了每个激励文件对应的验证仿真结果。