CN112949231A - Module verification system, method and equipment based on UVM verification platform - Google Patents
Module verification system, method and equipment based on UVM verification platform Download PDFInfo
- Publication number
- CN112949231A CN112949231A CN202110217572.5A CN202110217572A CN112949231A CN 112949231 A CN112949231 A CN 112949231A CN 202110217572 A CN202110217572 A CN 202110217572A CN 112949231 A CN112949231 A CN 112949231A
- Authority
- CN
- China
- Prior art keywords
- data
- data packet
- module
- result
- verification
- 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
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3308—Design verification, e.g. functional simulation or model checking using simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2115/00—Details relating to the type of the circuit
- G06F2115/02—System on chip [SoC] design
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Data Exchanges In Wide-Area Networks (AREA)
- Debugging And Monitoring (AREA)
Abstract
The application discloses a module verification system based on a UVM verification platform, which does not directly draw a conclusion of the verification failure of a data packet when the data packet in reference result data is inconsistent with a corresponding data packet in result data to be verified, but searches whether the data packet consistent with the data packet exists again in a preset search range of the result data to be verified, and draws the conclusion of the verification failure of the data packet only when the data packet consistent with the data packet cannot be searched in the preset search range. Therefore, the system can avoid misjudgment caused by misplacement of the data packet or abnormal data, and remarkably improves the reliability of the verification process. In addition, the application also provides a module verification method, device and readable storage medium based on the UVM verification platform, and the technical effect of the module verification method, device and readable storage medium corresponds to that of the system.
Description
Technical Field
The present application relates to the field of computer technologies, and in particular, to a module verification system, method, device, and readable storage medium based on a UVM verification platform.
Background
The UVM verification methodology provides a set of library files based on the System-Verilog language, the set of library files comprises a plurality of commonly used base classes and methods, and the structure and the operation process of a verification platform are also standardized, so that a verifier can quickly and effectively build a standardized verification platform. The Soc (System on Chip) engineering is getting larger and larger, the System is more and more complex, the verification difficulty is correspondingly increased, and the UVM can adapt to the verification requirement, improve the reusability of the verification environment and improve the verification efficiency.
In a traditional UVM verification platform, a scoreboard sequentially compares results of a reference model and a module to be verified one by one, if the comparison results are inconsistent, the operation is wrong, and the verification fails. However, some special scenarios may cause the result data actually output by the module to be verified to be asynchronous with the transmission data, for example, the output of early transmission data may arrive later, or part of error data that should not be output is output, and finally result data output by the module to be verified is out of order.
In summary, how to avoid the abnormal error reporting caused by the disorder of the data output by the module to be checked is a problem to be solved by those skilled in the art.
Disclosure of Invention
The invention aims to provide a module verification system, a module verification method, a module verification device and a readable storage medium based on a UVM verification platform, which are used for solving the problems that due to the fact that output results of a module to be verified are possibly out of order, a conventional verification scheme generates abnormal error reporting, and the reliability of a verification process is reduced. The specific scheme is as follows:
in a first aspect, the present application provides a module verification system based on a UVM verification platform, including:
the result data acquisition module is used for respectively acquiring the result data of the reference model and the result data of the to-be-checked module to obtain the reference result data and the result data to be checked;
the sequence comparison module is used for sequentially comparing the data packets in the reference result data with the data packets in the result data to be checked; if the comparison result is consistent, printing success information, and continuing to compare the next data packet; if the comparison result is inconsistent, recording the data packet with the inconsistent comparison result in the reference result data as a target data packet, and entering a sliding matching module;
the sliding matching module is used for performing sliding matching on the target data packet and a data string in a preset search range in the result data to be checked, and judging whether a data packet consistent with the target data packet exists in the data string in the preset search range; if not, printing failure information, and returning to the sequence comparison module to continue comparing the next data packet; if yes, printing success information, and returning to the sequence comparison module to continue comparing the next data packet;
and the verification result output module is used for generating and outputting the verification result of the module to be verified according to the printing information of the sequence comparison module and the sliding matching module.
Preferably, the sliding matching module is further configured to control the accumulated number of steps out to be increased by one when the printing failure information is printed;
correspondingly, the sequence comparison module is used for judging whether the accumulated out-of-step times is greater than the preset out-of-step times or not when the comparison result is inconsistent; if so, printing failure information and continuously comparing the next data packet; otherwise, recording the data packet with inconsistent comparison result in the reference result data as a target data packet, and entering a sliding matching module.
Preferably, the verification result output module is further configured to output the accumulated number of steps out as the verification result of the module to be verified.
Preferably, the sequence comparison module is further configured to determine whether the sliding matching function is turned on when the comparison result is inconsistent; if yes, recording a data packet with inconsistent comparison result in the reference result data as a target data packet, and entering a sliding matching module; otherwise, printing failure information and continuously comparing the next data packet.
Preferably, the method further comprises the following steps:
and the configuration module is used for configuring the preset search range, the unit data packet length and the data structure of the printing information.
Preferably, the sliding matching module includes:
the search range determining unit is used for determining a data string in a preset search range in the reference result data;
a window initialization unit, configured to initialize a sliding window, where a starting point of the sliding window is a starting point of the preset search range, and a window size of the sliding window is equal to a unit packet length;
the data comparison unit is used for comparing the target data packet with the data string in the sliding window;
a comparison success unit, configured to, when the comparison result is consistent, determine that a data packet consistent with the target data packet exists in the data string in the preset search range, print success information, and return to the sequence comparison module to continue comparing the next data packet;
and the comparison failure unit is used for controlling the sliding window to move towards the end point of the preset search range by a data length when the comparison result is inconsistent, entering the data comparison unit to continue data comparison, judging that no data packet consistent with the target data packet exists in the data string in the preset search range when the sliding window exceeds the preset search range, printing failure information, and returning to the sequence comparison module to continue comparing the next data packet.
Preferably, the sequence comparison module is configured to, when the comparison result is inconsistent, note that a data packet with an inconsistent comparison result in the reference result data is a target data packet, note that a data packet with an inconsistent comparison result in the to-be-checked result data is a reference data packet, and enter the sliding matching module;
the sliding matching module is used for performing sliding matching on the target data packet and a data string in a preset search range in the result data to be checked, and judging whether a data packet consistent with the target data packet exists in the data string in the preset search range, wherein the data string in the preset search range is as follows: and the data string is from a preset starting point to a preset ending point, the preset starting point is a data point which is positioned in front of the reference data packet and is a first data length away from the starting point of the reference data packet, and the preset ending point is a data point which is positioned behind the reference data packet and is a second data length away from the starting point of the reference data packet.
In a second aspect, the present application provides a module verification method based on a UVM verification platform, including:
s1, respectively obtaining result data of the reference model and the to-be-checked module to obtain reference result data and to-be-checked result data;
s2, sequentially comparing the data packets in the reference result data with the data packets in the result data to be checked; if the comparison result is consistent, printing success information, and continuing to compare the next data packet; if the comparison result is inconsistent, recording the data packet with the inconsistent comparison result in the reference result data as a target data packet, and entering S3;
s3, performing sliding matching on the target data packet and the data string in the preset search range in the result data to be checked, and judging whether a data packet consistent with the target data packet exists in the data string in the preset search range; if not, printing failure information, and returning to S2 to continue comparing the next data packet; if yes, printing success information, and returning to S2 to continue comparing the next data packet;
and S4, generating and outputting the verification result of the module to be verified according to the printing information.
In a third aspect, the present application provides a module verification device based on a UVM verification platform, including:
a memory: for storing a computer program;
a processor: for executing the computer program to implement the module authentication method based on the UVM authentication platform as described above.
In a fourth aspect, the present application provides a readable storage medium having stored thereon a computer program for implementing the module authentication method based on the UVM authentication platform as described above when the computer program is executed by a processor.
The module verification system based on the UVM verification platform comprises a result data acquisition module, a sequence comparison module, a sliding matching module and a verification result output module. After respectively obtaining the result data of the reference model and the to-be-checked module, sequentially comparing data packets in the reference result data with data packets in the to-be-checked result data; if the comparison result is consistent, printing success information, and continuing to compare the next data packet; if the comparison result is inconsistent, the conclusion of verification failure is not directly obtained, but the data packet with the inconsistent comparison result in the reference result data is recorded as a target data packet, the target data packet is in sliding matching with the data string in the preset search range in the result data to be verified, and whether the data packet consistent with the target data packet exists in the data string in the preset search range is judged; if yes, printing success information, and continuously comparing the next data packet; if not, printing failure information, and continuously comparing the next data packet; and finally, generating and outputting the verification result of the module to be verified according to the printing information.
It can be seen that, when the data packet in the reference result data is inconsistent with the corresponding data packet in the result data to be checked, the system does not directly draw the conclusion that the verification of the data packet fails, but searches again in the preset search range of the result data to be checked whether the data packet consistent with the data packet exists, and only when the data packet consistent with the data packet cannot be searched in the preset search range, the system draws the conclusion that the verification of the data packet fails. Therefore, the system can avoid misjudgment caused by misplacement of the data packet or abnormal data, and remarkably improves the reliability of the verification process.
In addition, the application also provides a module verification method, device and readable storage medium based on the UVM verification platform, and the technical effect corresponds to that of the system, and the details are not repeated here.
Drawings
For a clearer explanation of the embodiments or technical solutions of the prior art of the present application, the drawings needed for the description of the embodiments or prior art will be briefly described below, it is obvious that the drawings in the following description are only some embodiments of the present application, and for those skilled in the art, other drawings can be obtained according to these drawings without creative efforts.
Fig. 1 is a functional block diagram of a first embodiment of a module verification system based on a UVM verification platform provided in the present application;
FIG. 2 is a schematic diagram of reference result data and result-to-be-verified data under normal conditions provided by the present application;
fig. 3 is a schematic diagram of reference result data and result-to-be-verified data under the condition of out-of-order data packets provided by the present application;
fig. 4 is a schematic diagram of reference result data and result-to-be-verified data in the case of storing abnormal data provided by the present application;
FIG. 5 is a schematic diagram of a preset reference range in the result-to-be-verified data provided by the present application;
fig. 6 is a flowchart of an embodiment of a module verification method based on a UVM verification platform according to the present application.
Detailed Description
The core of the application is to provide a module verification system, a module verification method, a module verification device and a readable storage medium based on a UVM verification platform, which can avoid misjudgment caused by data packet errors or abnormal data and improve the reliability and accuracy of a verification process.
In order that those skilled in the art will better understand the disclosure, the following detailed description will be given with reference to the accompanying drawings. It is to be understood that the embodiments described are only a few embodiments of the present application and not all embodiments. All other embodiments, which can be derived by a person skilled in the art from the embodiments given herein without making any creative effort, shall fall within the protection scope of the present application.
Referring to fig. 1, a first embodiment of a module verification system based on a UVM verification platform provided in the present application is described below, where the first embodiment includes: the device comprises a result data acquisition module, a sequence comparison module, a sliding matching module and a verification result output module. The functions of the modules are described below:
and the result data acquisition module is used for respectively acquiring the result data of the reference model and the result data of the to-be-checked module to obtain the reference result data and the result data to be checked.
The sequence comparison module is used for sequentially comparing the data packets in the reference result data with the data packets in the result data to be checked; if the comparison result is consistent, printing success information, and continuing to compare the next data packet; and if the comparison result is inconsistent, recording the data packet with the inconsistent comparison result in the reference result data as a target data packet, and entering a sliding matching module.
The sliding matching module is used for performing sliding matching on the target data packet and a data string in a preset search range in the result data to be checked, and judging whether a data packet consistent with the target data packet exists in the data string in the preset search range; if not, printing failure information, and returning to the sequence comparison module to continue comparing the next data packet; if the data packet exists, printing success information, and returning to the sequence comparison module to continue comparing the next data packet.
And the verification result output module is used for generating and outputting the verification result of the module to be verified according to the printing information of the sequence comparison module and the sliding matching module.
In the module verification process, the correctness of the module to be verified is judged by inputting data to the reference model and the module to be verified and monitoring the result data output by the reference model and the module to be verified. Specifically, if the result data to be verified is consistent with the reference result data, it indicates that the module to be verified is correct, otherwise, it indicates that the module to be verified has an error.
Under normal conditions, the arrangement sequence of each data packet in the reference result data and the data to be checked is the same, and when the correctness of the module to be checked is detected, only the data packets in the reference result data and the data to be checked are sequentially compared, as shown in fig. 2. The so-called sequential comparison is to compare the nth data packet in the reference result data with the nth data packet in the result data to be checked, where n is a positive integer smaller than the total amount of data packets.
However, in some cases, the data packets in the data to be verified may be out of order, as shown in fig. 3, the positions of the data packet B2 and the data packet B3 are reversed, so that when performing the order comparison, the data packet a2 may be compared with the data packet B3, and an abnormal error is reported. In some cases, abnormal data may exist in the data of the result to be checked, as shown in fig. 4, abnormal data exists between the data packet B1 and the data packet B2, so that when the sequence comparison is performed, the data packet a2 may be compared with the abnormal data, and an abnormal error is reported.
Aiming at the two special conditions, after the reference result data and the data to be checked are obtained, the sequence comparison module is used for sequentially comparing the data packets of the reference result data and the data to be checked, when the comparison result is consistent, the verification of the current data packet is judged to be passed, the information of successful printing is judged, and the next data packet is continuously compared; when the comparison result is inconsistent, the data packet with the inconsistent comparison result in the reference result data is recorded as the target data packet, taking fig. 3 as an example, the data packet a2 is the target data packet, and then the data packet enters the sliding matching module.
And then, the sliding matching module performs sliding matching on the target data packet and the data string in the preset search range in the result data to be checked so as to judge whether the data string in the preset search range has the data packet consistent with the target data packet. If the data packet exists, the verification of the current data packet is judged to be passed, the successful information is printed, and the next data packet is continuously compared. If not, judging that the verification of the current data packet fails, printing failure information, and returning to the sequence comparison module to continue comparing the next data packet. It can be understood that, if a data packet whose comparison result is inconsistent in the data to be checked is referred to as a reference data packet, the data string of the preset search range is a data string that falls in the vicinity of the reference data packet, including the reference data packet itself, as shown in fig. 5.
In practical application, the verification result output module can output the printing information of the sequence comparison module and the sliding matching module in real time in the verification process, and can also output the final verification result of the module to be verified according to all the printing information after the comparison of all the data packets of the reference result data is completed. It is understood that when the print information is output in real time, information such as the total amount of packets, the number of packets for which comparison has been completed, the number of packets for which verification has succeeded, and the number of packets for which verification has failed may be fed back.
In the module verification system based on the UVM verification platform provided in this embodiment, when a data packet in reference result data is inconsistent with a corresponding data packet in result data to be verified, a conclusion that the data packet is failed to be verified is not directly obtained, but whether a data packet consistent with the data packet exists is searched again within a preset search range of the result data to be verified, and if and only if a data packet consistent with the data packet cannot be searched within the preset search range, a conclusion that the data packet is failed to be verified is obtained. Therefore, the system can avoid misjudgment caused by misplacement of the data packet or abnormal data, and remarkably improves the reliability of the verification process.
A second embodiment of the module verification system based on the UVM verification platform provided by the present application is described in detail below, where the second embodiment sets the number of times of step loss on the basis of the first embodiment, and further describes implementation details of the sliding matching process.
The second embodiment specifically includes: the device comprises a configuration module, a result data acquisition module, a sequence comparison module, a sliding matching module and a verification result output module. The functions of the modules are described below:
and the configuration module is used for configuring parameters of the scoreboard, such as unit data packet length, printing information data structure, preset search range, preset desynchronization times and the like.
And the result data acquisition module is used for respectively acquiring the result data of the reference model and the result data of the to-be-checked module to obtain the reference result data and the result data to be checked.
The sequence comparison module is used for sequentially comparing the data packets in the reference result data with the data packets in the result data to be checked; if the comparison result is consistent, printing success information, and continuing to compare the next data packet; if the comparison result is inconsistent, judging whether the accumulated step-out times are greater than the preset step-out times; if so, printing failure information, and continuously comparing the next data packet; if not, recording the data packet with inconsistent comparison result in the reference result data as a target data packet, recording the data packet with inconsistent comparison result in the data to be checked as a reference data packet, and entering a sliding matching module.
The sliding matching module is used for performing sliding matching on the target data packet and a data string in a preset search range in the result data to be checked, and judging whether a data packet consistent with the target data packet exists in the data string in the preset search range; if not, printing failure information, controlling the accumulated out-of-step times to increase by one, and returning to the sequence comparison module to continue comparing the next data packet; if the data packet exists, printing success information, and returning to the sequence comparison module to continue comparing the next data packet.
The data string in the preset search range is as follows: and the data string is from a preset starting point to a preset ending point, wherein the preset starting point is a data point which is positioned in front of the reference data packet and is a first data length away from the starting point of the reference data packet, and the preset ending point is a data point which is positioned behind the reference data packet and is a second data length away from the starting point of the reference data packet.
And the verification result output module is used for generating and outputting the verification result of the module to be verified according to the printing information of the sequence comparison module and the sliding matching module, and outputting the accumulated step-out times as the verification result of the module to be verified.
In addition, the present embodiment is also provided with a switch of the slide matching function. When the sequence comparison module judges that the comparison results are inconsistent, whether the sliding matching function is started or not is judged; if so, recording the data packet with inconsistent comparison result in the reference result data as a target data packet, and entering a sliding matching module; otherwise, printing failure information and continuously comparing the next data packet.
In this embodiment, the sliding matching module includes:
the search range determining unit is used for determining a data string in a preset search range in the reference result data;
a window initialization unit for initializing a sliding window, wherein the starting point of the sliding window is the starting point of a preset search range, and the window size of the sliding window is equal to the length of a unit data packet;
the data comparison unit is used for comparing the target data packet with the data string in the sliding window;
the comparison success unit is used for judging that a data packet consistent with the target data packet exists in the data string in the preset search range when the comparison result is consistent, printing success information, and returning to the sequence comparison module to continue to compare the next data packet;
and the comparison failure unit is used for controlling the sliding window to move for a data length towards the end point of the preset search range when the comparison result is inconsistent, entering the data comparison unit to continue data comparison, judging that no data packet consistent with the target data packet exists in the data string in the preset search range when the sliding window exceeds the preset search range, printing failure information, and returning to the sequence comparison module to continue comparing the next data packet.
The module verification method based on the UVM verification platform provided in the embodiments of the present application is introduced below, and the module verification method based on the UVM verification platform described below is implemented based on the module verification system based on the UVM verification platform described above.
As shown in fig. 6, the module verification method based on the UVM verification platform of the present embodiment includes:
s601, respectively obtaining result data of the reference model and the to-be-checked module to obtain reference result data and to-be-checked result data;
s602, sequentially comparing data packets in the reference result data with data packets in the result data to be checked;
s603, if the comparison result is consistent, printing success information, and continuing to compare the next data packet;
s604, if the comparison result is inconsistent, recording the data packet with the inconsistent comparison result in the reference result data as a target data packet, and entering S605;
s605, performing sliding matching on the target data packet and the data string in the preset search range in the result data to be checked, and judging whether the data string in the preset search range has a data packet consistent with the target data packet;
s606, if the data packet does not exist, printing failure information, and returning to the S602 to continue to compare the next data packet;
s607, if the data packet exists, printing the success information, and returning to the S602 to continue comparing the next data packet;
and S608, generating and outputting the verification result of the module to be verified according to the printing information of the S603, the S606 and the S607.
The module verification method based on the UVM verification platform of the present embodiment is implemented based on the module verification system based on the UVM verification platform described above, and therefore a specific implementation of the method may be found in the foregoing section of the embodiment of the module verification system based on the UVM verification platform, and is not described here.
In addition, the present application further provides a module verification device based on a UVM verification platform, including:
a memory: for storing a computer program;
a processor: for executing the computer program to implement the UVM-based module authentication method as described above.
Finally, the present application also provides a readable storage medium having stored thereon a computer program for implementing the module authentication method based on the UVM authentication platform as described above when executed by a processor.
The embodiments are described in a progressive manner, each embodiment focuses on differences from other embodiments, and the same or similar parts among the embodiments are referred to each other. The device disclosed by the embodiment corresponds to the method disclosed by the embodiment, so that the description is simple, and the relevant points can be referred to the method part for description.
The steps of a method or algorithm described in connection with the embodiments disclosed herein may be embodied directly in hardware, in a software module executed by a processor, or in a combination of the two. A software module may reside in Random Access Memory (RAM), memory, Read Only Memory (ROM), electrically programmable ROM, electrically erasable programmable ROM, registers, hard disk, a removable disk, a CD-ROM, or any other form of storage medium known in the art.
The above detailed descriptions of the solutions provided in the present application, and the specific examples applied herein are set forth to explain the principles and implementations of the present application, and the above descriptions of the examples are only used to help understand the method and its core ideas of the present application; meanwhile, for a person skilled in the art, according to the idea of the present application, there may be variations in the specific embodiments and the application scope, and in summary, the content of the present specification should not be construed as a limitation to the present application.
Claims (10)
1. A module verification system based on a UVM verification platform is characterized by comprising:
the result data acquisition module is used for respectively acquiring the result data of the reference model and the result data of the to-be-checked module to obtain the reference result data and the result data to be checked;
the sequence comparison module is used for sequentially comparing the data packets in the reference result data with the data packets in the result data to be checked; if the comparison result is consistent, printing success information, and continuing to compare the next data packet; if the comparison result is inconsistent, recording the data packet with the inconsistent comparison result in the reference result data as a target data packet, and entering a sliding matching module;
the sliding matching module is used for performing sliding matching on the target data packet and a data string in a preset search range in the result data to be checked, and judging whether a data packet consistent with the target data packet exists in the data string in the preset search range; if not, printing failure information, and returning to the sequence comparison module to continue comparing the next data packet; if yes, printing success information, and returning to the sequence comparison module to continue comparing the next data packet;
and the verification result output module is used for generating and outputting the verification result of the module to be verified according to the printing information of the sequence comparison module and the sliding matching module.
2. The system of claim 1, wherein the sliding match module is further configured to control the cumulative number of out-of-sync times to be increased by one when printing the failure information;
correspondingly, the sequence comparison module is used for judging whether the accumulated out-of-step times is greater than the preset out-of-step times or not when the comparison result is inconsistent; if so, printing failure information and continuously comparing the next data packet; otherwise, recording the data packet with inconsistent comparison result in the reference result data as a target data packet, and entering a sliding matching module.
3. The system of claim 2, wherein the verification result output module is further configured to output the accumulated number of out-of-synchronization as the verification result of the module to be verified.
4. The system of claim 1, wherein the sequence comparison module is further configured to determine whether the sliding matching function is enabled when the comparison result is inconsistent; if yes, recording a data packet with inconsistent comparison result in the reference result data as a target data packet, and entering a sliding matching module; otherwise, printing failure information and continuously comparing the next data packet.
5. The system of claim 1, further comprising:
and the configuration module is used for configuring the preset search range, the unit data packet length and the data structure of the printing information.
6. The system of any one of claims 1 to 5, wherein the sliding matching module comprises:
the search range determining unit is used for determining a data string in a preset search range in the reference result data;
a window initialization unit, configured to initialize a sliding window, where a starting point of the sliding window is a starting point of the preset search range, and a window size of the sliding window is equal to a unit packet length;
the data comparison unit is used for comparing the target data packet with the data string in the sliding window;
a comparison success unit, configured to, when the comparison result is consistent, determine that a data packet consistent with the target data packet exists in the data string in the preset search range, print success information, and return to the sequence comparison module to continue comparing the next data packet;
and the comparison failure unit is used for controlling the sliding window to move towards the end point of the preset search range by a data length when the comparison result is inconsistent, entering the data comparison unit to continue data comparison, judging that no data packet consistent with the target data packet exists in the data string in the preset search range when the sliding window exceeds the preset search range, printing failure information, and returning to the sequence comparison module to continue comparing the next data packet.
7. The system according to claim 6, wherein the sequence comparison module is configured to, when the comparison result is inconsistent, mark the data packet with the inconsistent comparison result in the reference result data as the target data packet, mark the data packet with the inconsistent comparison result in the data to be checked as the reference data packet, and enter the sliding matching module;
the sliding matching module is used for performing sliding matching on the target data packet and a data string in a preset search range in the result data to be checked, and judging whether a data packet consistent with the target data packet exists in the data string in the preset search range, wherein the data string in the preset search range is as follows: and the data string is from a preset starting point to a preset ending point, the preset starting point is a data point which is positioned in front of the reference data packet and is a first data length away from the starting point of the reference data packet, and the preset ending point is a data point which is positioned behind the reference data packet and is a second data length away from the starting point of the reference data packet.
8. A module verification method based on a UVM verification platform is characterized by comprising the following steps:
s1, respectively obtaining result data of the reference model and the to-be-checked module to obtain reference result data and to-be-checked result data;
s2, sequentially comparing the data packets in the reference result data with the data packets in the result data to be checked; if the comparison result is consistent, printing success information, and continuing to compare the next data packet; if the comparison result is inconsistent, recording the data packet with the inconsistent comparison result in the reference result data as a target data packet, and entering S3;
s3, performing sliding matching on the target data packet and the data string in the preset search range in the result data to be checked, and judging whether a data packet consistent with the target data packet exists in the data string in the preset search range; if not, printing failure information, and returning to S2 to continue comparing the next data packet; if yes, printing success information, and returning to S2 to continue comparing the next data packet;
and S4, generating and outputting the verification result of the module to be verified according to the printing information.
9. A module verification device based on a UVM verification platform, comprising:
a memory: for storing a computer program;
a processor: for executing the computer program for implementing the UVM verification platform based module verification method of claim 8.
10. A readable storage medium having stored thereon a computer program for implementing the UVM authentication platform based module authentication method according to claim 8 when executed by a processor.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202110217572.5A CN112949231B (en) | 2021-02-26 | 2021-02-26 | Module verification system, method and equipment based on UVM verification platform |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202110217572.5A CN112949231B (en) | 2021-02-26 | 2021-02-26 | Module verification system, method and equipment based on UVM verification platform |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN112949231A true CN112949231A (en) | 2021-06-11 |
| CN112949231B CN112949231B (en) | 2023-01-24 |
Family
ID=76246498
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202110217572.5A Active CN112949231B (en) | 2021-02-26 | 2021-02-26 | Module verification system, method and equipment based on UVM verification platform |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN112949231B (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2023024251A1 (en) * | 2021-08-26 | 2023-03-02 | 苏州浪潮智能科技有限公司 | Device verification method, uvm verification platform, electronic apparatus and storage medium |
Citations (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5452451A (en) * | 1989-06-15 | 1995-09-19 | Hitachi, Ltd. | System for plural-string search with a parallel collation of a first partition of each string followed by finite automata matching of second partitions |
| CN103500160A (en) * | 2013-10-18 | 2014-01-08 | 大连理工大学 | Syntactic analysis method based on sliding semantic string matching |
| CN104657555A (en) * | 2015-02-11 | 2015-05-27 | 北京麓柏科技有限公司 | TOE (TCP/IP Offload Engine) verification method based on UVM (Universal Verification Methodology) and TOE verification platform based on UVM |
| WO2017020590A1 (en) * | 2015-08-05 | 2017-02-09 | 深圳市中兴微电子技术有限公司 | Chip validation method and device, equipment, and data storage medium |
| CN108038283A (en) * | 2017-11-30 | 2018-05-15 | 北京时代民芯科技有限公司 | A kind of efficient high coverage rate SoC verification platforms of dummy clock synchronization |
| CN109857608A (en) * | 2018-12-27 | 2019-06-07 | 深圳云天励飞技术有限公司 | Micro-processor verification method, apparatus, electronic equipment and computer readable storage medium |
| CN110020744A (en) * | 2019-01-07 | 2019-07-16 | 阿里巴巴集团控股有限公司 | Dynamic prediction method and its system |
| CN110095711A (en) * | 2019-05-06 | 2019-08-06 | 盛科网络（苏州）有限公司 | A kind of verification method based on test vector random ordering and discarding behavior |
| CN110727584A (en) * | 2019-09-10 | 2020-01-24 | 无锡江南计算技术研究所 | Real-time comparison method of RTL (real time language) and reference model for pre-silicon verification of processor |
| CN110781070A (en) * | 2019-09-06 | 2020-02-11 | 平安科技（深圳）有限公司 | Big data test verification method and device, computer equipment and storage medium |
| CN110866934A (en) * | 2019-10-14 | 2020-03-06 | 中国科学院自动化研究所 | Normative coding-based complex point cloud segmentation method and system |
| CN110868222A (en) * | 2019-11-29 | 2020-03-06 | 中国人民解放军战略支援部队信息工程大学 | LZSS compressed data error code detection method and device |
-
2021
- 2021-02-26 CN CN202110217572.5A patent/CN112949231B/en active Active
Patent Citations (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5452451A (en) * | 1989-06-15 | 1995-09-19 | Hitachi, Ltd. | System for plural-string search with a parallel collation of a first partition of each string followed by finite automata matching of second partitions |
| CN103500160A (en) * | 2013-10-18 | 2014-01-08 | 大连理工大学 | Syntactic analysis method based on sliding semantic string matching |
| CN104657555A (en) * | 2015-02-11 | 2015-05-27 | 北京麓柏科技有限公司 | TOE (TCP/IP Offload Engine) verification method based on UVM (Universal Verification Methodology) and TOE verification platform based on UVM |
| WO2017020590A1 (en) * | 2015-08-05 | 2017-02-09 | 深圳市中兴微电子技术有限公司 | Chip validation method and device, equipment, and data storage medium |
| CN108038283A (en) * | 2017-11-30 | 2018-05-15 | 北京时代民芯科技有限公司 | A kind of efficient high coverage rate SoC verification platforms of dummy clock synchronization |
| CN109857608A (en) * | 2018-12-27 | 2019-06-07 | 深圳云天励飞技术有限公司 | Micro-processor verification method, apparatus, electronic equipment and computer readable storage medium |
| CN110020744A (en) * | 2019-01-07 | 2019-07-16 | 阿里巴巴集团控股有限公司 | Dynamic prediction method and its system |
| CN110095711A (en) * | 2019-05-06 | 2019-08-06 | 盛科网络（苏州）有限公司 | A kind of verification method based on test vector random ordering and discarding behavior |
| CN110781070A (en) * | 2019-09-06 | 2020-02-11 | 平安科技（深圳）有限公司 | Big data test verification method and device, computer equipment and storage medium |
| CN110727584A (en) * | 2019-09-10 | 2020-01-24 | 无锡江南计算技术研究所 | Real-time comparison method of RTL (real time language) and reference model for pre-silicon verification of processor |
| CN110866934A (en) * | 2019-10-14 | 2020-03-06 | 中国科学院自动化研究所 | Normative coding-based complex point cloud segmentation method and system |
| CN110868222A (en) * | 2019-11-29 | 2020-03-06 | 中国人民解放军战略支援部队信息工程大学 | LZSS compressed data error code detection method and device |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2023024251A1 (en) * | 2021-08-26 | 2023-03-02 | 苏州浪潮智能科技有限公司 | Device verification method, uvm verification platform, electronic apparatus and storage medium |
| US11893331B2 (en) | 2021-08-26 | 2024-02-06 | Inspur Suzhou Intelligent Technology Co., Ltd. | Device verification method, UVM verification platform, electronic apparatus and storage medium |
Also Published As
| Publication number | Publication date |
|---|---|
| CN112949231B (en) | 2023-01-24 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN109634258B (en) | Bus message checking method, device and system for hardware-in-loop test | |
| CN111327490B (en) | Byzantine fault-tolerant detection method of block chain and related device | |
| CN110442473B (en) | Nonvolatile data storage method and device, electronic equipment and medium | |
| CN108600047B (en) | Serial transmission chip and SERDES circuit testing method | |
| CN112949231B (en) | Module verification system, method and equipment based on UVM verification platform | |
| CN109324961B (en) | System automatic test method, device, computer equipment and storage medium | |
| CN111459811A (en) | Buried point data checking method and device | |
| US7003743B2 (en) | Method and system of data processor design by sensitizing logical difference | |
| CN111767231B (en) | Multi-platform Bootrom verification method, device and system and computer readable medium | |
| CN115328814B (en) | Fault injection method, device, equipment and storage medium based on mirror pair | |
| CN111611002A (en) | Data upgrading method and device, computer equipment and storage medium | |
| CN112286786A (en) | Database testing method and device and server | |
| CN106445737A (en) | Multi-backup starting method | |
| US20090183046A1 (en) | Programmable Test Clock Generation Responsive to Clock Signal Characterization | |
| CN111581019B (en) | Test method and device for storage fault recovery | |
| CN110912743B (en) | Method and device for executing configuration instruction | |
| US7409329B2 (en) | Flexible SPDIF verification tool | |
| EP3545658A1 (en) | Evaluation and generation of a whitelist | |
| US8914678B2 (en) | Systems and methods for debugging model based message sequences | |
| JP6217086B2 (en) | Information processing apparatus, error detection function diagnosis method, and computer program | |
| CN115118793B (en) | BLF file analysis fault tolerance method and device and computer equipment | |
| CN117453146B (en) | Data reading method, system, eFlash controller and storage medium | |
| CN110795142A (en) | Configuration file generation method and device | |
| US20040117747A1 (en) | Method for providing cycle-by-cycle ad hoc verification in a hardware-accelerated environment | |
| EP4120085A1 (en) | Failure analysis support device and failure analysis support method |
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 |