买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：沐曦科技(成都)有限公司

摘要：本申请涉及芯片验证技术领域，特别是涉及一种图形验证系统，所述系统包括：待验证的RTL代码、第一格式转换程序、第二格式转换程序、参考模型、数据库、处理器和存储有计算机程序的存储器，计算机程序被处理器执行时，实现以下步骤：将可视化的第一预设格式下的第一图形数据通过第一格式转换程序转换为符合RTL代码验证输入需求的第二预设格式，将RTL代码输出的第三图形数据通过第二格式转换程序转换为符合可视化需求的第一预设格式，从而能够对RTL代码的图形处理功能实现和图形处理效果进行验证，使得通过验证的RTL代码的图形处理功能更加可靠，也即提高了图形验证的可信性。

主权项：1.一种图形验证系统，其特征在于，所述系统包括：待验证的RTL代码、第一格式转换程序、第二格式转换程序、参考模型、数据库、处理器和存储有计算机程序的存储器，其中，所述数据库包括第一图形数据，所述第一图形数据为第一预设格式，当所述计算机程序被处理器执行时，实现以下步骤：S101，使用所述第一格式转换程序，将所述第一图形数据转换为第二预设格式，得到第二图形数据，所述第二图形数据包括M个第二图形子数据{b1，b2，…，bm，…，bM}，bm为第m个第二图形子数据，m为[1，M]范围内的整数，bm对应于初始位宽wm，所述RTL代码对应有输入位宽r；S102，将所述第二图形数据分别输入所述RTL代码和所述参考模型中，由所述RTL代码输出第三图形数据，由所述参考模型输出参考图形数据，其中，将所述第二图形数据输入所述RTL代码中，由所述RTL代码输出第三图形数据，包括：若wm≠r，则将bm的位宽由wm调整为r，得到第二中间子数据cm，否则，以bm作为第二中间子数据cm；由c1，c2，…，cm，…，cM形成第二中间数据；将所述第二中间数据输入所述RTL代码中，由所述RTL代码输出所述第三图形数据；S103，将所述第三图形数据和所述参考图形数据进行比对，得到第一验证结果；S104，使用所述第二格式转换程序，将所述第三图形数据转换为所述第一预设格式，得到第四图形数据；S105，根据预设图形评价条件，对所述第四图形数据进行评价，得到第二验证结果；S106，根据所述第一验证结果和所述第二验证结果，确定所述RTL代码对应的目标验证结果。

全文数据：

权利要求：

百度查询： 沐曦科技(成都)有限公司 一种图形验证系统