CN112631852A - 宏检查方法、装置、电子设备和计算机可读存储介质 - Google Patents

宏检查方法、装置、电子设备和计算机可读存储介质 Download PDF

Info

Publication number
CN112631852A
CN112631852A CN202011533134.1A CN202011533134A CN112631852A CN 112631852 A CN112631852 A CN 112631852A CN 202011533134 A CN202011533134 A CN 202011533134A CN 112631852 A CN112631852 A CN 112631852A
Authority
CN
China
Prior art keywords
macro
target
list
information
attribute
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
CN202011533134.1A
Other languages
English (en)
Other versions
CN112631852B (zh
Inventor
沈旭
王芳
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Haiguang Information Technology Co Ltd
Original Assignee
Haiguang Information Technology Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Haiguang Information Technology Co Ltd filed Critical Haiguang Information Technology Co Ltd
Priority to CN202011533134.1A priority Critical patent/CN112631852B/zh
Publication of CN112631852A publication Critical patent/CN112631852A/zh
Application granted granted Critical
Publication of CN112631852B publication Critical patent/CN112631852B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/26—Functional testing
    • G06F11/263—Generation of test inputs, e.g. test vectors, patterns or sequences ; with adaptation of the tested hardware for testability with external testers
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/2268—Logging of test results
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
    • Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
    • Y02P90/30—Computing systems specially adapted for manufacturing

Abstract

本申请提供了一种宏检查方法、装置、电子设备和计算机可读存储介质，其中，该方法包括：获取第一宏列表，该第一宏列表中包括多项待检查宏的宏信息；对原始宏定义报告进行遍历，以得到第二宏列表，该原始宏定义报告为对芯片设计进行处理得到的报告；将所述第一宏列表与所述第二宏列表进行匹配，以得到所述第一宏列表的验证结果；根据所述验证结果生成对应的检查报告。通过本申请实施例中的宏检查方法，能够实现自动对宏的检查，提高宏检查的效率。

Description

宏检查方法、装置、电子设备和计算机可读存储介质
技术领域
本申请涉及芯片设计技术领域，具体而言，涉及一种宏检查方法、装置、电子设备和计算机可读存储介质。
背景技术
由于对芯片的要求越来越多，导致在设计阶段需要为系统级芯片配置的功能也就越来越多，为了验证芯片设计的各个功能的正确性，通常会构建不同的验证环境对芯片设计的功能进行验证。通过在验证环境中对芯片设计进行编译并进行仿真以实现对芯片设计的验证，而对芯片设计的编译会受到预定义的宏的控制，验证环境会根据宏的定义选择性地对芯片设计进行编译，如果宏定义出错，则编译后的芯片设计可能会存在较大的误差，从而影响芯片的验证的准确率。
因此，在芯片设计的验证之前，还需要对预定义的宏进行检查。目前的检查方式一般通过人工检查宏的实际使用的代码，人工检查方式效率低。
发明内容
本申请的目的在于提供一种宏检查方法、装置、电子设备和计算机可读存储介质，以解决人工检查方式效率低。
第一方面，本发明提供一种宏检查方法，包括：
获取第一宏列表，所述第一宏列表中包括多项待检查宏的宏信息；
对原始宏定义报告进行遍历，以得到第二宏列表，所述原始宏定义报告为对目标芯片设计进行处理得到的报告；
将所述第一宏列表与所述第二宏列表进行匹配，以得到所述第一宏列表的验证结果；
根据所述验证结果生成对应的检查报告。
在可选的实施方式中，所述将所述第一宏列表与所述第二宏列表进行匹配，以得到所述第一宏列表的验证结果，包括：
将所述第一宏列表中的目标宏信息与所述第二宏列表进行匹配，以确定所述第二宏列表中是否存在与所述目标宏信息匹配成功的宏信息，所述目标宏信息为所述第一宏列表中的任意一项宏信息；
当所述第二宏列表中存在与所述目标宏信息匹配的宏信息，则表征所述目标宏信息验证通过；
当所述第二宏列表中各项宏信息未与所述目标宏信息匹配成功，则表征所述目标宏信息验证未通过。
在上述实施方式中，通过将宏信息进行逐一对比，以识别出原始宏定义报告对应的第二宏列表是否存在需要验证的宏，可以使验证更加精细，也可以使验证的结果也就更加准确。
在可选的实施方式中，每项宏信息包括至少一项属性元素，所述至少一项属性元素包括：存在属性；所述存在属性用于标识对应的宏是否为需要的宏；所述将所述第一宏列表中的目标宏信息与所述第二宏列表进行匹配，以确定所述第二宏列表中是否存在与所述目标宏信息匹配成功的宏信息，包括：
当所述目标宏信息的存在属性为第一标识时，在所述第二宏列表中进行查找，以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏，若所述第二宏列表中存在所述目标宏，则表征所述目标宏信息验证通过，若所述第二宏列表中不存在所述目标宏，则表征所述目标宏信息验证未通过；
当所述目标宏信息的存在属性为第二标识时，在所述第二宏列表中进行查找，以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏，若所述第二宏列表中不存在所述目标宏，则表征所述目标宏信息验证通过，若所述第二宏列表中存在所述目标宏，则表征所述目标宏信息验证未通过。
在上述实施方式中，基于不同的需求，可以对需要的宏进行验证，也可以对不需要的宏进行验证，从而可以使宏的验证更加的全面，得到的验证结果也就更加符合芯片设计的验证对宏的需求。
在可选的实施方式中，每项宏信息包括至少一项属性元素，所述至少一项属性元素包括：存在属性和值属性；所述将所述第一宏列表中的目标宏信息与所述第二宏列表进行匹配，以确定所述第二宏列表中是否存在与所述目标宏信息匹配成功的宏信息，包括：
当所述目标宏信息的存在属性为第一标识，且所述目标宏信息的值属性为目标有效值时，在所述第二宏列表中进行查找，以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏，若所述第二宏列表中存在所述目标宏，判断所述第二宏列表中的所述目标宏的值属性是否等于所述目标有效值，若所述第二宏列表中的所述目标宏的值属性等于所述目标有效值，则表征所述目标宏信息验证通过；若所述第二宏列表中不存在所述目标宏，或所述第二宏列表中的所述目标宏的值属性不等于所述目标有效值，则表征所述目标宏信息验证未通过；
当所述目标宏信息的存在属性为第二标识时，在所述第二宏列表中进行查找，以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏，若所述第二宏列表中不存在所述目标宏，则表征所述目标宏信息验证通过，若所述第二宏列表中存在所述目标宏，则表征所述目标宏信息验证未通过。
在上述实施方式中，通过对宏的存在需求以及宏的值进行双重信息的验证，从而可以使验证的结果不仅仅是单一的信息的验证结果，使得到的验证结果更加全面准确。
在可选的实施方式中，所述判断所述第二宏列表中的所述目标宏的值属性是否等于所述目标有效值，包括：
当所述第二宏列表中的所述目标宏的值属性为一表达式时，在所述第二宏列表中查找所述表达式中所包含的目标参数组；
根据所述目标参数组及所述表达式计算得到所述目标宏在所述第二宏列表中对应的目标值；
将所述目标值与所述目标有效值进行对比，以确定所述第二宏列表中的所述目标宏的值属性是否等于所述目标有效值。
在上述实施方式中，对宏值的验证，不仅仅基于需要验证的宏的值，还可以通过需要验证的宏所关联的其它宏的值计算得到需要验证的宏的值，从而可以提高宏的值的验证的准确性。
在可选的实施方式中，所述对原始宏定义报告进行遍历，以得到第二宏列表，包括：
对编译后的目标芯片设计进行解析，得到原始宏定义报告；
对所述原始宏定义报告进行遍历，以得到第二宏列表。
在可选的实施方式中，所述检查报告包括：验证结果、所需存在属性、宏位置信息；所述根据所述验证结果生成对应的检查报告，包括：
根据所述第一宏列表确定出各项宏信息对应的宏名、所需存在属性；
根据所述第二宏列表确定出各项宏位置信息；
根据所述第一宏列表中的各项宏的验证结果、宏名、所需存在属性以及宏位置信息，得到所述检查报告。
在上述实施方式中，通过将验证的各项信息与宏的相关信息形成一直观的检查报告，使验证结果可读性更高，方便相关技术人员使用该检查报告用。
第二方面，本发明提供一种宏检查装置，包括：
第一列表获取模块，用于获取第一宏列表，所述第一宏列表中包括多项待检查宏的宏信息；
第二列表生成模块，用于对原始宏定义报告进行遍历，以得到第二宏列表，所述原始宏定义报告为对目标芯片设计进行处理得到的报告；
列表匹配模块，用于将所述第一宏列表与所述第二宏列表进行匹配，以得到所述第一宏列表的验证结果；
报告生成模块，用于根据所述验证结果生成对应的检查报告。
第三方面，本发明提供一种电子设备，包括：处理器、存储器，所述存储器存储有所述处理器可执行的机器可读指令，当电子设备运行时，所述机器可读指令被所述处理器执行时执行如前述实施方式任一所述的方法的步骤。
第四方面，本发明提供一种计算机可读存储介质，该计算机可读存储介质上存储有计算机程序，该计算机程序被处理器运行时执行如前述实施方式任一所述的方法的步骤。
本申请实施例的有益效果是：通过对第一宏列表和原始宏定义报告的解析可以得到对比的两份宏列表，对其进行分析对比，就能够实现对原始宏定义报告中的宏是否满足用户的需求的检查，从而可以实现较高效率的宏的检查。
附图说明
为了更清楚地说明本申请实施例的技术方案，下面将对实施例中所需要使用的附图作简单地介绍，应当理解，以下附图仅示出了本申请的某些实施例，因此不应被看作是对范围的限定，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他相关的附图。
图1为本申请实施例提供的电子设备的方框示意图。
图2为本申请实施例提供的宏检查方法的流程图。
图3为本申请实施例提供的宏检查装置的功能模块示意图。
具体实施方式
下面将结合本申请实施例中附图，对本申请实施例中的技术方案进行描述。
应注意到：相似的标号和字母在下面的附图中表示类似项，因此，一旦某一项在一个附图中被定义，则在随后的附图中不需要对其进行进一步定义和解释。同时，在本申请的描述中，术语“第一”、“第二”等仅用于区分描述，而不能理解为指示或暗示相对重要性。
在一些场景下，一些供应商为大众用户使用的芯片设计，该芯片设计为了满足广泛的客户需求，以及前端仿真、后端仿真等不同开发阶段的需求，供应商往往通过在一个芯片产品包里定义不同的宏来实现不同的需求。
不同宏的作用下可能会使芯片设计处于不同的功能或模式，例如，如果定义了一些加速仿真的宏，就会使其在仿真阶段跳过部分真实功能电路，直接往后执行，虽然加快了仿真速度，但是却遗漏了一些测试点，可能会漏检缺陷。
再例如，在对工艺选择时，如果宏定义不对，就有可能使得调用的工艺库单元出错，但是前端仿真阶段可能不会体现出已出现问题，直到后端制作过程可能才会发现问题的存在。这样会导致大量重复错误的工作，因此，宏的正确性直接影响到芯片设计的正确性。
基于上述研究，本申请的实施例提供了宏检查方法、装置、电子设备和计算机可读存储介质，实现了对芯片设计的验证中所使用到的宏的检查。下面通过几个实施例进行描述。
实施例一
为便于对本实施例进行理解，首先对执行本申请实施例所公开的宏检查方法的电子设备进行详细介绍。
如图1所示，是电子设备的方框示意图。电子设备100可以包括存储器111、存储控制器112、处理器113、外设接口114、输入输出单元115、显示单元116。本领域普通技术人员可以理解，图1所示的结构仅为示意，其并不对电子设备100的结构造成限定。例如，电子设备100还可包括比图1中所示更多或者更少的组件，或者具有与图1所示不同的配置。
上述的存储器111、存储控制器112、处理器113、外设接口114、输入输出单元115及显示单元116各元件相互之间直接或间接地电性连接，以实现数据的传输或交互。例如，这些元件相互之间可通过一条或多条通讯总线或信号线实现电性连接。上述的处理器113用于执行存储器中存储的可执行模块。
其中，存储器111可以是，但不限于，随机存取存储器(Random Access Memory，简称RAM)，只读存储器(Read Only Memory，简称ROM)，可编程只读存储器(ProgrammableRead-Only Memory，简称PROM)，可擦除只读存储器(Erasable Programmable Read-OnlyMemory，简称EPROM)，电可擦除只读存储器(Electric Erasable Programmable Read-OnlyMemory，简称EEPROM)等。其中，存储器111用于存储程序，所述处理器113在接收到执行指令后，执行所述程序，本申请实施例任一实施例揭示的过程定义的电子设备100所执行的方法可以应用于处理器113中，或者由处理器113实现。
上述的处理器113可能是一种集成电路芯片，具有信号的处理能力。上述的处理器113可以是通用处理器，包括中央处理器(Central Processing Unit，简称CPU)、网络处理器(Network Processor，简称NP)等；还可以是数字信号处理器(digital signalprocessor，简称DSP)、专用集成电路(Application Specific Integrated Circuit，简称ASIC)、现场可编程门阵列(FPGA)或者其他可编程逻辑器件、分立门或者晶体管逻辑器件、分立硬件组件。可以实现或者执行本申请实施例中的公开的各方法、步骤及逻辑框图。通用处理器可以是微处理器或者该处理器也可以是任何常规的处理器等。
上述的外设接口114将各种输入/输出装置耦合至处理器113以及存储器111。在一些实施例中，外设接口114，处理器113以及存储控制器112可以在单个芯片中实现。在其他一些实例中，他们可以分别由独立的芯片实现。
上述的输入输出单元115用于提供给用户输入数据。所述输入输出单元115可以是，但不限于，鼠标和键盘等。
上述的显示单元116在电子设备100与用户之间提供一个交互界面(例如用户操作界面)或用于显示图像数据给用户参考。在本实施例中，所述显示单元可以是液晶显示器或触控显示器。若为触控显示器，其可为支持单点和多点触控操作的电容式触控屏或电阻式触控屏等。支持单点和多点触控操作是指触控显示器能感应到来自该触控显示器上一个或多个位置处同时产生的触控操作，并将该感应到的触控操作交由处理器进行计算和处理。
本实施例中，上述显示单元116可以用于对宏检查过程中产生的列表进行显示。例如，可以以excel、Word、txt等文件格式对各项列表进行显示。
本实施例中的电子设备100可以用于执行本申请实施例提供的各个方法中的各个步骤。下面通过几个实施例详细描述宏检查方法的实现过程。
实施例二
请参阅图2，是本申请实施例提供的宏检查方法的流程图。下面将对图2所示的具体流程进行详细阐述。
步骤201，获取第一宏列表。
示例性地，该第一宏列表中包括多项待检查宏的宏信息。
可选地，可以通过对所需宏配置文件进行解析，得到上述的第一宏列表。示例性地，将所需宏配置文件中的各项宏的信息提取出来，填入一项列表中，以形成上述的第一宏列表。
本实施例中，所需宏配置文件可以是预先定义的一个配置文件。可选地，该所需宏配置文件中配置有用于对目标芯片设计进行验证的宏。
可选地，该所需宏配置文件还可以记录有对目标芯片设计的验证不需要的宏。
可选地，该所需宏配置文件中的宏为需要被检查的宏。示例性地，需要被检查的宏可以是验证所需的宏，也可以是验证所不需要的宏。
可选地，预先定义的所需宏配置文件也可以以列表的形式存储，则可以将从所需宏配置文件的存储空间得到的所需宏配置文件作为上述第一宏列表。
在一种实施方式中，第一宏列表中包括多项信息：宏名、存在属性、值属性、宏位置信息等。如下表1所示：
表1
Figure BDA0002851742840000091
上述表1中以macro表示宏名，以exist表示存在属性，以value表示值属性，以design表示已编译的芯片设计的路径。其中，exist对应的取值为Y时，则表示对应宏为需要的宏，exist对应的取值为N时，则表示对应宏为不需要的宏。Value的取值为value_i时，则表示宏macro_i的取值为value_i，Value的取值为N/A时，则表示对应的宏为非带值宏。在表1所示的实例中，已编译的设计存在于路径为path的地方。
上述表1是针对单个验证环境下的所需宏配置文件。可选地，在对宏进行检查时可以基于多个验证环境下的宏进行检查，则对应的所需宏配置文件也可以是基于多个验证环境下的所需宏配置文件。第一宏列表中包括多项信息：验证环境名、宏名、存在属性、值属性、已编译设计位置信息等。如下表2所示：
表2
Figure BDA0002851742840000101
Figure BDA0002851742840000111
上述表2中以env表示验证环境名，以macro表示宏名，以exist表示存在属性，以value表示值属性，以design表示已编译设计位置信息。其中，exist对应的取值为Y时，则表示对应宏为需要的宏，exist对应的取值为N时，则表示对应宏为不需要的宏。Value的取值为value_i时，则表示宏macro_i的取值为value_i，Value的取值为N/A时，则表示对应的宏为非带值宏。在表2所示的实例中，该所需宏配置文件中包括N个验证环境中所需的宏信息，其中，每一个验证环境中包括M项宏信息。在表2所示的实例中，M0项宏macro_0_1、…、macro_0_M0所对应的已编译设计的位置信息为path_0。在表2所示的实例中，Mi项宏macro_0_1、…、macro_0_Mi所对应的已编译设计的位置信息为path_i。
可选地，步骤201可以包括：显示一数据接收窗口，所述数据接收窗口中包括需要获知宏的信息填充窗口；通过该数据接收窗口接收用户输入的宏的信息；根据该数据接收窗口接收到的宏的信息形成第一宏列表。
步骤202，对原始宏定义报告进行遍历，以得到第二宏列表。
本实施例中，原始宏定义报告为对目标芯片设计进行处理得到的报告。
示例性地，对目标芯片设计进行处理可以包括：先对目标芯片设计进行编译，然后通过Verdi的NPI(Native Programming Interface，本机编程接口)解析得到。其中，该Verdi为新思科技(synopsys)公司出的一款用于分析仿真波形的工具。
可选地，上述的原始宏定义报告可以是通过在目标验证环境中对目标芯片设计进行编译后得到的原始宏定义报告。
本实施例中，第一宏列表包括编译后的目标芯片设计的路径。示例性地，该目标芯片设计路径可以是该目标芯片设计在编译后的路径。
可选地，步骤202可以包括：对编译后的目标芯片设计进行解析，得到原始宏定义报告；对所述原始宏定义报告进行遍历，以得到第二宏列表。
可选地，可以使用前端仿真分析工具Verdi对目标芯片设计进行编译，对编译后的目标芯片设计解析，可以得到原始宏定义报告。
可选地，可以通过Verdi的NPI从已编译的目标芯片设计中解析得到原始宏定义报告。
可选地，上述的第二宏列表可以是表格文件，例如，excel表格形式的文件、Word文件中的内置表格形式的文件等。
本实施例中，若上述所需宏配置文件是基于一个验证环境下的所需宏配置文件，则第二宏列表也可以对一个验证环境下编译目标芯片设计得到的原始宏定义报告进行解析得到的宏列表。
可选地，该第二宏列表可以包括：宏名、值属性、宏位置信息等。
本实施例中，若上述所需宏配置文件是基于多个验证环境下的所需宏配置文件，则第二宏列表也可以对基于多个验证环境下编译目标芯片设计得到的原始宏定义报告进行解析得到的汇总的宏列表。
可选地，该第二宏列表可以包括：验证环境、宏名、值属性、宏位置信息等。
步骤203，将所述第一宏列表与所述第二宏列表进行匹配，以得到所述第一宏列表的验证结果。
示例性地，第一宏列表中可以包括多项宏信息。第二宏列表中也可以包括多项宏信息。
可选地，步骤203包括：将所述第一宏列表中的目标宏信息与所述第二宏列表进行匹配，以确定所述第二宏列表中是否存在与所述目标宏信息匹配成功的宏信息。该目标宏信息为所述第一宏列表中的任意一项宏信息。
本实施例中，当所述第二宏列表中存在与所述目标宏信息匹配的宏信息，则表征所述目标宏信息验证通过。当所述第二宏列表中各项宏信息未与所述目标宏信息匹配成功，则表征所述目标宏信息验证未通过。
示例性地，第二宏列表中的宏所表达的信息与第一宏列表中的目标宏信息相同，则表示第二宏列表中存在与所述目标宏信息匹配的宏信息。
在一个实例中，第一宏列表中的第一目标宏信息表示第一宏为不能存在的宏，则如果第二宏列表中不存在第一宏，则表征所述第二宏列表中存在与所述目标宏信息匹配的宏信息。
在一个实例中，第一宏列表中的第二目标宏信息表示第二宏位需要验证的宏，且该宏的值为指定值，则如果第二宏列表中存在第二宏，且第二宏列表中的第二宏为该指定值，则表征所述第二宏列表中存在与所述目标宏信息匹配的宏信息。
在一种实施方式中，每项宏信息包括至少一项属性元素，该至少一项属性元素包括：存在属性。该存在属性用于标识对应的宏是否为需要的宏。
当所述目标宏信息的存在属性为第一标识时，在所述第二宏列表中进行查找，以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏，若所述第二宏列表中存在所述目标宏，则表征所述目标宏信息验证通过，若所述第二宏列表中不存在所述目标宏，则表征所述目标宏信息验证未通过。
示例性地，该第一标识为存在对应的标识。当第一宏列表中的一项宏信息中包括值为第一标识的存在属性时，则表示该项宏信息对应的宏为需要存在与验证环境中的一个宏。
在表2所示的实例中，存在属性通过exist表示。该第一标识表示对应的宏为需要的宏，第一标识可以以表2所示的Y表示。例如，表2所示的宏macro_0和宏macro_N的exist均为Y，也就表示宏macro_0和宏macro_N的存在属性均为第一标识。若第二宏列表中包含宏macro_0和宏macro_N，则可以表示宏macro_0和宏macro_N的验证通过。
当所述目标宏信息的存在属性为第二标识时，在所述第二宏列表中进行查找，以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏，若所述第二宏列表中不存在所述目标宏，则表征所述目标宏信息验证通过，若所述第二宏列表中存在所述目标宏，则表征所述目标宏信息验证未通过。该第二标识表示对应的宏为不需要的宏。
示例性地，该第二标识为不存在对应的标识。当第一宏列表中的一项宏信息中包括值为第二标识的存在属性时，则表示该项宏信息对应的宏为不能存在与验证环境中的一个宏。
在表2所示的实例中，第二标识可以以N表示。例如，表2所示的宏macro_j的exist为N，也就表示宏macro_j的存在属性为第二标识，若第二宏列表中不包含宏macro_j，则可以表示宏macro_j的验证通过。
在另一种实施方式中，每项宏信息包括至少一项属性元素，所述至少一项属性元素包括：存在属性和值属性。
当所述目标宏信息的存在属性为第一标识，且所述目标宏信息的值属性为目标有效值时，在所述第二宏列表中进行查找，以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏，若所述第二宏列表中存在所述目标宏，判断所述第二宏列表中的所述目标宏的值属性是否等于所述目标有效值，若所述第二宏列表中的所述目标宏的值属性等于所述目标有效值，则表征所述目标宏信息验证通过；若所述第二宏列表中不存在所述目标宏，或所述第二宏列表中的所述目标宏的值属性不等于所述目标有效值，则表征所述目标宏信息验证未通过。
在表2所示的实例中，值属性通过value表示。例如，宏macro_i的exist为Y，value的取值为value_i。以，宏macro_i作为目标宏，则目标有效值为value_i。若第二宏列表中存在宏macro_i，且第二宏列表中的宏macro_i的取值为value_i时，则表征宏macro_i验证通过；否则，表征宏macro_i验证未通过。
当所述目标宏信息的存在属性为第二标识时，在所述第二宏列表中进行查找，以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏，若所述第二宏列表中不存在所述目标宏，则表征所述目标宏信息验证通过，若所述第二宏列表中存在所述目标宏，则表征所述目标宏信息验证未通过。
示例性地，由于原始宏定义报告中的各项宏的值可能不是直接的值，可能是基于其它宏得到的一个表达式。在一个实例中，在原始宏定义报告中定义有三项宏，分别为：LSB＝0、MSB＝7和SIZE＝`MSB-`LSB+1。其中，三项宏名分别为LSB、MSB和SIZE。其中，宏LSB的值为0，宏MSB的值为7，宏SIZE的值为`MSB-`LSB+1。宏SIZE的值也就是宏MSB的值减宏LSB的值再加一。此实例中，宏SIZE的值未直接表示为8，此时，若直接将第一宏列表中的宏的值与`MSB-`LSB+1进行对比，则可能会存在比对出错。因此，在此基础上，可以先计算`MSB-`LSB+1的值，再将计算得到值与第一宏列表中的值进行对比。
示例性地，上述的判断所述第二宏列表中的所述目标宏的值属性是否等于所述目标有效值，包括：当所述第二宏列表中的所述目标宏的值属性为一表达式时，在所述第二宏列表中查找所述表达式中所包含的目标参数组；根据所述目标参数组及所述表达式计算得到所述目标宏在所述第二宏列表中对应的目标值；将所述目标值与所述目标有效值进行对比，以确定所述第二宏列表中的所述目标宏的值属性是否等于所述目标有效值。
示例性地，验证结果可以以表格的形式呈现，每项宏验证结果包括：验证状态、宏所在文件、宏所在行号，例如，如下表3所示：
表3
Figure BDA0002851742840000151
Figure BDA0002851742840000161
上述表3中以status表示验证状态，以file表示宏所在文件，以line表示宏所在行号。其中，验证状态中的值用于表示对应的宏验证是否通过。在一个实例中，status的值可以包括PASS和FAIL。其中，PASS表示验证通过，FAIL表示验证未通过。
步骤204，根据所述验证结果生成对应的检查报告。
本实施例中，上述检查报告可以包括：验证结果、所需存在属性、宏位置信息。
步骤204可以包括：根据所述第一宏列表确定出各项宏信息对应的宏名、所需存在属性；根据所述第二宏列表确定出各项宏位置信息；根据所述第一宏列表中的各项宏的验证结果、宏名、所需存在属性以及宏位置信息，得到所述检查报告。
可选地，该检查报告可以是以可读文件的形式存储。示例性地，该检查报告可以是Word文件、excel表格、TXT文件等。
示例性地，检查报告可以以表格的形式呈现，例如，针对单一环境的检查报告可以如下表4所示：
表4
Figure BDA0002851742840000162
Figure BDA0002851742840000171
在上述表4中，以macro表示宏名，以exist表示所需存在属性，以status表示验证状态，以file表示宏所在文件，以line表示宏所在行号。
在表4所示的实例中，宏macro_0的exist取值为Y，则表示宏macro_0为需要的宏，且在第二宏列表中存在宏macro_0，则该宏的验证状态status的取值为PASS，且该宏macro_0被定义在文件file_0中的第line_0行。
宏macro_i的exist取值为Y，则表示宏macro_i为需要的宏，但是在第二宏列表中不存在宏macro_i，则该宏的验证状态status的取值为FAIL。
宏macro_j的exist取值为N，则表示宏macro_j为需要的宏，且在第二宏列表中存在宏macro_j，则该宏的验证状态status的取值为FAIL，且该宏macro_j被定义在文件file_j中的第line_j行。
宏macro_N的exist取值为Y，则表示宏macro_N为需要的宏，且在第二宏列表中存在宏macro_N，则该宏的验证状态status的取值为PASS，且该宏macro_N被定义在编译命令vcs_cmd_line中。
示例性地，检查报告可以以表格的形式呈现，例如，针对多个环境下的汇总的检查报告可以如下表5所示：
表5
env status report
env_0 PASS link_0
… … …
env_N FAIL link_N
在上述表5中，以env表示验证环境名，以status表示对应验证环境下的验证状态，以report表示指向对应验证环境下的宏定义报告的链接。
本申请实施例中提供的宏检查方法，通过对原始宏定义报告进行自动的遍历解析，相对于人工检查代码的方式提取宏，本申请实施例提供的方案可以更加快速且更加的完善。
进一步地，针对多个验证环境的宏的检查，可以通过将各个验证环境的原始宏定义报告进行汇总，相对单个验证环境逐一人工验证的方式，能够更加的快速。
进一步地，本申请实施例提供的方案中还可以根据所述验证结果生成对应的检查报告，从而可以形成更加直观的、可读性更高的报告。
实施例三
基于同一申请构思，本申请实施例中还提供了与宏检查方法对应的宏检查装置，由于本申请实施例中的装置解决问题的原理与前述的宏检查方法实施例相似，因此本实施例中的装置的实施可以参见上述方法的实施例中的描述，重复之处不再赘述。
请参阅图3，是本申请实施例提供的宏检查装置的功能模块示意图。本实施例中的宏检查装置中的各个模块用于执行上述方法实施例中的各个步骤。宏检查装置包括：第一列表获取模块301、第二列表生成模块302、列表匹配模块303以及报告生成模块304；其中，
第一列表获取模块301，用于获取第一宏列表；
第二列表生成模块302，用于对原始宏定义报告进行遍历，以得到第二宏列表，所述原始宏定义报告为对目标芯片设计进行处理得到的；
列表匹配模块303，用于将所述第一宏列表与所述第二宏列表进行匹配，以得到所述第一宏列表的验证结果；
报告生成模块304，用于根据所述验证结果生成对应的检查报告。
一种可能的实施方式中，列表匹配模块303，用于：
将所述第一宏列表中的目标宏信息与所述第二宏列表进行匹配，以确定所述第二宏列表中是否存在与所述目标宏信息匹配成功的宏信息，所述目标宏信息为所述第一宏列表中的任意一项宏信息；
当所述第二宏列表中存在与所述目标宏信息匹配的宏信息，则表征所述目标宏信息验证通过；
当所述第二宏列表中各项宏信息未与所述目标宏信息匹配成功，则表征所述目标宏信息验证未通过。
一种可能的实施方式中，每项宏信息包括至少一项属性元素，所述至少一项属性元素包括：存在属性；所述存在属性用于标识对应的宏是否为需要的宏；列表匹配模块303，用于：
当所述目标宏信息的存在属性为第一标识时，在所述第二宏列表中进行查找，以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏，若所述第二宏列表中存在所述目标宏，则表征所述目标宏信息验证通过，若所述第二宏列表中不存在所述目标宏，则表征所述目标宏信息验证未通过；
当所述目标宏信息的存在属性为第二标识时，在所述第二宏列表中进行查找，以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏，若所述第二宏列表中不存在所述目标宏，则表征所述目标宏信息验证通过，若所述第二宏列表中存在所述目标宏，则表征所述目标宏信息验证未通过。
一种可能的实施方式中，每项宏信息包括至少一项属性元素，所述至少一项属性元素包括：存在属性和值属性；列表匹配模块303，用于：
当所述目标宏信息的存在属性为第一标识，且所述目标宏信息的值属性为目标有效值时，在所述第二宏列表中进行查找，以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏，若所述第二宏列表中存在所述目标宏，判断所述第二宏列表中的所述目标宏的值属性是否等于所述目标有效值，若所述第二宏列表中的所述目标宏的值属性等于所述目标有效值，则表征所述目标宏信息验证通过；若所述第二宏列表中不存在所述目标宏，或所述第二宏列表中的所述目标宏的值属性不等于所述目标有效值，则表征所述目标宏信息验证未通过；
当所述目标宏信息的存在属性为第二标识时，在所述第二宏列表中进行查找，以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏，若所述第二宏列表中不存在所述目标宏，则表征所述目标宏信息验证通过，若所述第二宏列表中存在所述目标宏，则表征所述目标宏信息验证未通过。
一种可能的实施方式中，列表匹配模块303，还用于：
当所述第二宏列表中的所述目标宏的值属性为一表达式时，在所述第二宏列表中查找所述表达式中所包含的目标参数组；
根据所述目标参数组及所述表达式计算得到所述目标宏在所述第二宏列表中对应的目标值；
将所述目标值与所述目标有效值进行对比，以确定所述第二宏列表中的所述目标宏的值属性是否等于所述目标有效值。
一种可能的实施方式中，第二列表生成模块302，用于：
对编译后的所述目标芯片设计进行解析，得到原始宏定义报告；
对所述原始宏定义报告进行遍历，以得到第二宏列表。
一种可能的实施方式中，报告生成模块304，用于：
根据所述第一宏列表确定出各项宏信息对应的宏名、所需存在属性；
根据所述第二宏列表确定出各项宏位置信息；
根据所述第一宏列表中的各项宏的验证结果、宏名、所需存在属性以及宏位置信息，得到所述检查报告。
此外，本申请实施例还提供一种计算机可读存储介质，该计算机可读存储介质上存储有计算机程序，该计算机程序被处理器运行时执行上述方法实施例中所述的宏检查方法的步骤。
本申请实施例所提供的宏检查方法的计算机程序产品，包括存储了程序代码的计算机可读存储介质，所述程序代码包括的指令可用于执行上述方法实施例中所述的宏检查方法的步骤，具体可参见上述方法实施例，在此不再赘述。
在本申请所提供的几个实施例中，应该理解到，所揭露的装置和方法，也可以通过其它的方式实现。以上所描述的装置实施例仅仅是示意性的，例如，附图中的流程图和框图显示了根据本申请的多个实施例的装置、方法和计算机程序产品的可能实现的体系架构、功能和操作。在这点上，流程图或框图中的每个方框可以代表一个模块、程序段或代码的一部分，所述模块、程序段或代码的一部分包含一个或多个用于实现规定的逻辑功能的可执行指令。也应当注意，在有些作为替换的实现方式中，方框中所标注的功能也可以以不同于附图中所标注的顺序发生。例如，两个连续的方框实际上可以基本并行地执行，它们有时也可以按相反的顺序执行，这依所涉及的功能而定。也要注意的是，框图和/或流程图中的每个方框、以及框图和/或流程图中的方框的组合，可以用执行规定的功能或动作的专用的基于硬件的系统来实现，或者可以用专用硬件与计算机指令的组合来实现。
另外，在本申请各个实施例中的各功能模块可以集成在一起形成一个独立的部分，也可以是各个模块单独存在，也可以两个或两个以上模块集成形成一个独立的部分。
所述功能如果以软件功能模块的形式实现并作为独立的产品销售或使用时，可以存储在一个计算机可读取存储介质中。基于这样的理解，本申请的技术方案本质上或者说对现有技术做出贡献的部分或者该技术方案的部分可以以软件产品的形式体现出来，该计算机软件产品存储在一个存储介质中，包括若干指令用以使得一台计算机设备(可以是个人计算机，服务器，或者网络设备等)执行本申请各个实施例所述方法的全部或部分步骤。而前述的存储介质包括：U盘、移动硬盘、只读存储器(ROM，Read-Only Memory)、随机存取存储器(RAM，Random Access Memory)、磁碟或者光盘等各种可以存储程序代码的介质。需要说明的是，在本文中，诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来，而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。而且，术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含，从而使得包括一系列要素的过程、方法、物品或者设备不仅包括那些要素，而且还包括没有明确列出的其他要素，或者是还包括为这种过程、方法、物品或者设备所固有的要素。在没有更多限制的情况下，由语句“包括……”限定的要素，并不排除在包括所述要素的过程、方法、物品或者设备中还存在另外的相同要素。
以上所述仅为本申请的优选实施例而已，并不用于限制本申请，对于本领域的技术人员来说，本申请可以有各种更改和变化。凡在本申请的精神和原则之内，所作的任何修改、等同替换、改进等，均应包含在本申请的保护范围之内。应注意到：相似的标号和字母在下面的附图中表示类似项，因此，一旦某一项在一个附图中被定义，则在随后的附图中不需要对其进行进一步定义和解释。
以上所述，仅为本申请的具体实施方式，但本申请的保护范围并不局限于此，任何熟悉本技术领域的技术人员在本申请揭露的技术范围内，可轻易想到变化或替换，都应涵盖在本申请的保护范围之内。因此，本申请的保护范围应以权利要求的保护范围为准。

Claims (10)

1.一种宏检查方法，其特征在于，包括：
获取第一宏列表，所述第一宏列表中包括多项待检查宏的宏信息；
对原始宏定义报告进行遍历，以得到第二宏列表，所述原始宏定义报告为对目标芯片设计进行处理得到的报告；
将所述第一宏列表与所述第二宏列表进行匹配，以得到所述第一宏列表的验证结果；
根据所述验证结果生成对应的检查报告。
2.根据权利要求1所述的方法，其特征在于，所述将所述第一宏列表与所述第二宏列表进行匹配，以得到所述第一宏列表的验证结果，包括：
将所述第一宏列表中的目标宏信息与所述第二宏列表进行匹配，以确定所述第二宏列表中是否存在与所述目标宏信息匹配成功的宏信息，所述目标宏信息为所述第一宏列表中的任意一项宏信息；
当所述第二宏列表中存在与所述目标宏信息匹配的宏信息，则表征所述目标宏信息验证通过；
当所述第二宏列表中各项宏信息未与所述目标宏信息匹配成功，则表征所述目标宏信息验证未通过。
3.根据权利要求2所述的方法，其特征在于，每项宏信息包括至少一项属性元素，所述至少一项属性元素包括：存在属性；所述存在属性用于标识对应的宏是否为需要的宏；所述将所述第一宏列表中的目标宏信息与所述第二宏列表进行匹配，以确定所述第二宏列表中是否存在与所述目标宏信息匹配成功的宏信息，包括：
当所述目标宏信息的存在属性为第一标识时，在所述第二宏列表中进行查找，以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏，若所述第二宏列表中存在所述目标宏，则表征所述目标宏信息验证通过，若所述第二宏列表中不存在所述目标宏，则表征所述目标宏信息验证未通过；
当所述目标宏信息的存在属性为第二标识时，在所述第二宏列表中进行查找，以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏，若所述第二宏列表中不存在所述目标宏，则表征所述目标宏信息验证通过，若所述第二宏列表中存在所述目标宏，则表征所述目标宏信息验证未通过。
4.根据权利要求2所述的方法，其特征在于，每项宏信息包括至少一项属性元素，所述至少一项属性元素包括：存在属性和值属性；所述将所述第一宏列表中的目标宏信息与所述第二宏列表进行匹配，以确定所述第二宏列表中是否存在与所述目标宏信息匹配成功的宏信息，包括：
当所述目标宏信息的存在属性为第一标识，且所述目标宏信息的值属性为目标有效值时，在所述第二宏列表中进行查找，以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏，若所述第二宏列表中存在所述目标宏，判断所述第二宏列表中的所述目标宏的值属性是否等于所述目标有效值，若所述第二宏列表中的所述目标宏的值属性等于所述目标有效值，则表征所述目标宏信息验证通过；若所述第二宏列表中不存在所述目标宏，或所述第二宏列表中的所述目标宏的值属性不等于所述目标有效值，则表征所述目标宏信息验证未通过；
当所述目标宏信息的存在属性为第二标识时，在所述第二宏列表中进行查找，以确定所述第二宏列表中是否存在所述目标宏信息对应的目标宏，若所述第二宏列表中不存在所述目标宏，则表征所述目标宏信息验证通过，若所述第二宏列表中存在所述目标宏，则表征所述目标宏信息验证未通过。
5.根据权利要求4所述的方法，其特征在于，所述判断所述第二宏列表中的所述目标宏的值属性是否等于所述目标有效值，包括：
当所述第二宏列表中的所述目标宏的值属性为一表达式时，在所述第二宏列表中查找所述表达式中所包含的目标参数组；
根据所述目标参数组及所述表达式计算得到所述目标宏在所述第二宏列表中对应的目标值；
将所述目标值与所述目标有效值进行对比，以确定所述第二宏列表中的所述目标宏的值属性是否等于所述目标有效值。
6.根据权利要求1所述的方法，其特征在于，所述对原始宏定义报告进行遍历，以得到第二宏列表，包括：
对编译后的目标芯片设计进行解析，得到原始宏定义报告；
对所述原始宏定义报告进行遍历，以得到第二宏列表。
7.根据权利要求1-6任意一项所述的方法，其特征在于，所述检查报告包括：验证结果、所需存在属性、宏位置信息；所述根据所述验证结果生成对应的检查报告，包括：
根据所述第一宏列表确定出各项宏信息对应的宏名、所需存在属性；
根据所述第二宏列表确定出各项宏位置信息；
根据所述第一宏列表中的各项宏的验证结果、宏名、所需存在属性以及宏位置信息，得到所述检查报告。
8.一种宏检查装置，其特征在于，包括：
第一列表获取模块，用于获取第一宏列表，所述第一宏列表中包括多项待检查宏的宏信息；
第二列表生成模块，用于对原始宏定义报告进行遍历，以得到第二宏列表，所述原始宏定义报告为对目标芯片设计进行处理得到的报告；
列表匹配模块，用于将所述第一宏列表与所述第二宏列表进行匹配，以得到所述第一宏列表的验证结果；
报告生成模块，用于根据所述验证结果生成对应的检查报告。
9.一种电子设备，其特征在于，包括：处理器、存储器，所述存储器存储有所述处理器可执行的机器可读指令，当电子设备运行时，所述机器可读指令被所述处理器执行时执行如权利要求1至7任一所述的方法的步骤。
10.一种计算机可读存储介质，其特征在于，该计算机可读存储介质上存储有计算机程序，该计算机程序被处理器运行时执行如权利要求1至7任一所述的方法的步骤。
CN202011533134.1A 2020-12-22 2020-12-22 宏检查方法、装置、电子设备和计算机可读存储介质 Active CN112631852B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202011533134.1A CN112631852B (zh) 2020-12-22 2020-12-22 宏检查方法、装置、电子设备和计算机可读存储介质

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202011533134.1A CN112631852B (zh) 2020-12-22 2020-12-22 宏检查方法、装置、电子设备和计算机可读存储介质

Publications (2)

Publication Number Publication Date
CN112631852A true CN112631852A (zh) 2021-04-09
CN112631852B CN112631852B (zh) 2023-04-28

Family

ID=75321212

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202011533134.1A Active CN112631852B (zh) 2020-12-22 2020-12-22 宏检查方法、装置、电子设备和计算机可读存储介质

Country Status (1)

Country Link
CN (1) CN112631852B (zh)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113312685A (zh) * 2021-05-28 2021-08-27 东风设计研究院有限公司 一种宏电路中的部件品牌替换方法及存储介质

Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20100050137A1 (en) * 2008-08-22 2010-02-25 Animesh Khare Automated isolation of logic and macro blocks in chip design testing
US20120246606A1 (en) * 2011-03-21 2012-09-27 International Business Machines Corporation Generation of an end point report for a timing simulation of an integrated circuit
CN102722442A (zh) * 2012-06-13 2012-10-10 禹芙蓉 一种宏状态自动分析方法及其装置
CN105589837A (zh) * 2014-10-22 2016-05-18 北京广利核系统工程有限公司 一种电子文档的自动查错方法
CN106708687A (zh) * 2015-11-12 2017-05-24 青岛海信电器股份有限公司 一种基于可执行文件的芯片验证方法和装置
CN108197472A (zh) * 2017-12-20 2018-06-22 北京金山安全管理系统技术有限公司 宏处理方法、装置、存储介质及处理器
CN110597712A (zh) * 2019-08-27 2019-12-20 北京奇艺世纪科技有限公司 一种组件属性校验方法、装置、终端及存储介质
CN112000577A (zh) * 2020-08-25 2020-11-27 得到(天津)文化传播有限公司 一种代码检查方法、装置、电子设备和存储介质

Patent Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20100050137A1 (en) * 2008-08-22 2010-02-25 Animesh Khare Automated isolation of logic and macro blocks in chip design testing
US20120246606A1 (en) * 2011-03-21 2012-09-27 International Business Machines Corporation Generation of an end point report for a timing simulation of an integrated circuit
CN102722442A (zh) * 2012-06-13 2012-10-10 禹芙蓉 一种宏状态自动分析方法及其装置
CN105589837A (zh) * 2014-10-22 2016-05-18 北京广利核系统工程有限公司 一种电子文档的自动查错方法
CN106708687A (zh) * 2015-11-12 2017-05-24 青岛海信电器股份有限公司 一种基于可执行文件的芯片验证方法和装置
CN108197472A (zh) * 2017-12-20 2018-06-22 北京金山安全管理系统技术有限公司 宏处理方法、装置、存储介质及处理器
CN110597712A (zh) * 2019-08-27 2019-12-20 北京奇艺世纪科技有限公司 一种组件属性校验方法、装置、终端及存储介质
CN112000577A (zh) * 2020-08-25 2020-11-27 得到(天津)文化传播有限公司 一种代码检查方法、装置、电子设备和存储介质

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113312685A (zh) * 2021-05-28 2021-08-27 东风设计研究院有限公司 一种宏电路中的部件品牌替换方法及存储介质

Also Published As

Publication number Publication date
CN112631852B (zh) 2023-04-28

Similar Documents

Publication Publication Date Title
US7840844B2 (en) Techniques for prioritizing test dependencies
US7293204B2 (en) Computer peripheral connecting interface system configuration debugging method and system
CN109783346B (zh) 基于关键字驱动的自动化测试方法、装置及终端设备
US20120185669A1 (en) Program inspection method and non-transitory, computer readable storage medium storing inspection program
CN110737689A (zh) 数据标准符合性检测方法、装置、系统及存储介质
CN110795464B (zh) 对象标记数据的字段校验方法、装置、终端及存储介质
CN112631852B (zh) 宏检查方法、装置、电子设备和计算机可读存储介质
US20120310849A1 (en) System and method for validating design of an electronic product
US8739091B1 (en) Techniques for segmenting of hardware trace and verification of individual trace segments
CN109376285B (zh) 基于json格式的数据排序验证方法、电子设备及介质
US20080215638A1 (en) Operational qualification by independent reanalysis of data reduction patch
JP5264866B2 (ja) 設計書検査装置、設計書検査システム、設計書検査プログラム、および設計書検査装置の設計書検査方法
CN113238940A (zh) 一种接口测试结果的比对方法、装置、设备和存储介质
CN111858377A (zh) 测试脚本的质量评价方法、装置、电子设备及存储介质
CN112685277B (zh) 警告信息检查方法、装置、电子设备和可读存储介质
TWI819239B (zh) 產品物質檢查系統及產品物質檢查方法
CN112632056B (zh) 一种检验规则的生成方法及装置
CN112597756B (zh) 操作语句报告的生成方法、装置、设备、存储介质
CN116661758B (zh) 一种优化日志框架配置的方法、装置、电子设备及介质
CN113326206B (zh) 数据加工系统的测试方法、设备、存储介质及程序产品
CN110866557B (zh) 数据评价方法及装置、存储介质及电子设备
CN109710651B (zh) 数据类型识别方法及装置
US20190065355A1 (en) Information processing device and output method
CN115525660A (zh) 一种数据表的校验方法、装置、设备及介质
CN115826928A (zh) 程序生成方法、系统、电子设备及计算机可读存储介质

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant