An automated verification method for connectivity checks
By automatically parsing target files and generating inspectors and drivers, the problem of relying on manual information entry for connectivity checks in existing technologies is solved, achieving efficient and robust automated verification.
Patent Information
- Authority / Receiving Office
- CN · China
- Patent Type
- Patents(China)
- Current Assignee / Owner
- MUXI LINGZHI TECHNOLOGY (BEIJING) CO LTD
- Filing Date
- 2026-01-07
- Publication Date
- 2026-04-10
AI Technical Summary
In existing technologies, connectivity checks rely on manual input of information, which results in a large workload, is time-consuming and labor-intensive, and is difficult to identify empty fields, leading to low efficiency and poor robustness of automated verification.
By parsing the target file, it automatically identifies and completes empty fields, generates checkers and drivers, supports empty field recognition, reduces manual input, and adds operator and delay checking functions.
It improves the efficiency of connectivity checks and the robustness of automated verification, reduces the workload of verification personnel, and supports verification of multiple functions.
Smart Images
Figure CN121457412B_ABST
Abstract
Description
TECHNICAL FIELD
[0001] The present application relates to the technical field of electric digital data processing, in particular to an automatic verification method for connectivity checking. BACKGROUND
[0002] In design verification (DV), it is necessary to verify whether the connection between certain signals is correct. Some signals may not be verified in functional verification, such as some design for test (DFT) signals, so some signal connectivity checking is essential. In the prior art, connectivity checking is mainly manual checking, which is time-consuming and laborious, and the review is difficult, and it is easy to miss. Therefore, it is necessary to automatically generate the checker and driver required for connectivity checking to improve the efficiency of connectivity checking verification.
[0003] Some methods for automatically implementing connectivity verification are disclosed in the prior art, for example, based on the Excel table filled in by the verification personnel to automatically generate connectivity test cases. However, the method in the prior art relies on more information filled in by the verification personnel (for example, each item of connectivity checking corresponds to a record, and all fields included in each record need to be filled in by the verification personnel, and the empty fields cannot be identified, and the content filled in by the verification personnel cannot be checked), otherwise the test cases cannot be automatically generated, or multiple functions of the verification cannot be supported. SUMMARY
[0004] The present application aims to provide an automatic verification method for connectivity checking to support empty field identification, reduce the input workload of the verification personnel, further improve the efficiency of connectivity checking, and improve the robustness of the automatic verification method.
[0005] According to the present application, an automatic verification method for connectivity checking is provided, which comprises the following steps:
[0006] S100, a target file is obtained, the target file is used to record the information of connectivity checking; the target file includes a plurality of preset fields and corresponding field values; the preset fields include the name of the instantiated module, the port of the instantiated module and the starting point of the checking signal; the field value of the starting point of the checking signal includes the transmission path of the checking signal.
[0007] S200, parsing the target file; wherein if a record in the target file includes a preset keyword in a field value of a name of an instantiated module, a field value of a port of the instantiated module is empty, and a field value of a start point of a check signal corresponding to the record includes a specified port corresponding to the preset keyword, a checker and a driver including a specified connectivity check item are generated; a start point of the specified connectivity check item is a start point of a transmission path included in the field value of the start point of the check signal, and an end point of the specified connectivity check item is the specified port corresponding to the preset keyword included in the field value of the start point of the check signal; and the specified port corresponding to the preset keyword is a normal connectivity check port of a module corresponding to the preset keyword.
[0008] Compared with the prior art, the present application has at least the following beneficial effects:
[0009] When the target file is parsed, the present application can process the scenario that the field value of the port of the instantiated module is empty, and automatically deduces whether the field value of the start point of the check signal includes the specified port corresponding to the preset keyword. If the field value of the name of the instantiated module includes the preset keyword, the field value of the port of the instantiated module is empty, and the field value of the start point of the check signal includes the specified port corresponding to the preset keyword, it is determined that the field value of the port of the instantiated module is the specified port corresponding to the preset keyword included in the field value of the start point of the check signal, and it is determined that the connectivity check item includes the connectivity check corresponding to the specified port, and the checker and the driver including the connectivity check are generated. Thus, the present application can automatically complete the missing port information (the normal connectivity check port corresponding to the preset keyword included in the start point of the check signal is taken as the end point of the check signal), without manually filling in the empty field, and can support the identification of the empty field. Compared with the prior art in which all the fields must be completely filled in to generate the use case, the present application can reduce the input workload of the verification personnel, improve the efficiency of the connectivity check, and improve the robustness of the automatic verification method.
[0010] In addition, the present application also supports the operator and the delay check, and increases the detection function compared with the prior art. BRIEF DESCRIPTION OF DRAWINGS
[0011] In order to more clearly illustrate the technical solutions in the embodiments of the present application, the drawings needed in the embodiment description will be briefly introduced. Obviously, the drawings in the following description are only some embodiments of the present application, and other drawings can be obtained by those skilled in the art without creative labor.
[0012] Figure 1A flowchart of the automatic verification method for connectivity checking provided by the embodiment of the present application. DETAILED DESCRIPTION
[0013] The technical solutions in the embodiments of the present application will be clearly and completely described with reference to the drawings in the embodiments of the present application. Obviously, the described embodiments are only a part of the embodiments of the present application, rather than all the embodiments of the present application. Based on the embodiments in the present application, all other embodiments obtained by a person skilled in the art without creative work fall within the protection scope of the present application.
[0014] According to the present embodiment, an automatic verification method for connectivity checking is provided, which comprises the following steps, as shown in Figure 1
[0015] S100, obtaining a target file, wherein the target file is used to record information of connectivity checking; the target file comprises a plurality of preset fields and corresponding field values; the preset fields comprise a name of an instantiated module, a port of the instantiated module, and a starting point of a checking signal; and the field value of the starting point of the checking signal comprises a transmission path of the checking signal.
[0016] In the present embodiment, the target file is a structured data file used to store configuration information required by connectivity checking. As an optional specific embodiment, the target file is a CSV file or an Excel file.
[0017] In the present embodiment, the preset fields are column titles in the target file, and each field represents a specific attribute. The name of the instantiated module refers to the name of a module corresponding to the end point of the checking signal; the port of the instantiated module refers to the port corresponding to the end point of the checking signal; it should be understood that the name of the instantiated module and the port of the instantiated module corresponding to a record in the target file have a corresponding relationship, i.e., the port of the instantiated module corresponding to the record belongs to the instantiated module represented by the name of the instantiated module corresponding to the record. For example, if the name of the instantiated module corresponding to a record in the target file is mem, and the port of the instantiated module corresponding to the record is x1, then the end point of the checking signal corresponding to the record is the x1 port of the module with the name mem.
[0018] In the present embodiment, the field value of the starting point of the checking signal comprises a transmission path of the checking signal, and the transmission path is composed of a plurality of points in a certain arrangement order. The checking signal is transmitted from the starting point included in the transmission path to the end point included in the transmission path. It should be understood that the first point of the transmission path is the starting point, and the last point of the transmission path is the end point.
[0019] S200, parsing the target file; wherein if a record in the target file includes a preset keyword in a field value of a name of an instantiated module corresponding to the record, a field value of a port of the instantiated module corresponding to the record is empty, and a field value of a start point of a check signal corresponding to the record includes a specified port corresponding to the preset keyword, a checker and a driver including a specified connectivity check item are generated; a start point of the specified connectivity check item is a start point of a transmission path included in the field value of the start point of the check signal corresponding to the record, and an end point of the specified connectivity check item is the specified port corresponding to the preset keyword included in the field value of the start point of the check signal corresponding to the record; the specified port corresponding to the preset keyword is a normal connectivity check port of a module corresponding to the preset keyword.
[0020] As a specific embodiment, the preset keyword is mem, and the specified port corresponding to the preset keyword is memctrl / fgcg override. The memctrl / fgcg override is a common check item, i.e., a normal connectivity check item. If a record includes mem in a field value of a name of an instantiated module corresponding to the record, a field value of a port of the instantiated module corresponding to the record is empty, and a field value of a start point of a check signal corresponding to the record includes fgcg override, it is determined that the field value of the port of the instantiated module corresponding to the record is fgcg override.
[0021] In the embodiment, the target file is parsed, and a checker and a driver are automatically generated according to field values. The parsing refers to a process of reading content of the target file and extracting and interpreting field values according to rules. The checker is used to verify whether signal connection is correct, and the driver is used to simulate signal driving. As an optional specific embodiment, the target file is traversed line by line. If a field is searched, a corresponding code template is called, and a field value corresponding to the field is filled into a corresponding position of the code template, so that automatic parsing of the target file can be realized. The code template corresponding to each field is preset.
[0022] As an optional specific embodiment, the checker exists in a form of a module of a hardware description language (such as Verilog), which can reduce instantiation times and reduce workload of a target file that needs to be filled by a verification personnel. The driver exists in a form of a class of an object-oriented language (such as SystemVerilog), which can be declared and called.
[0023] As an optional implementation, the target file further comprises an identifier for marking an instantiation module as a multi-instantiation module, and if a record is located in a record area corresponding to the identifier, it is determined that the instantiation module corresponding to the record is a multi-instantiation module. A multi-instantiation module refers to a module that is instantiated multiple times in a design, such as multiple memory modules (mem). A multi-instantiation module is processed by using a bind module mode, and a checker is automatically associated to all instantiation modules matching the multi-instantiation module by using a bind statement of a hardware description language. For example, if the target file specifies a multi-instantiation module mem, the system generates an independent checker for each mem instance, and ensures that the connectivity of all instances is verified.
[0024] As an optional implementation, S200 further comprises: if a field value of a name of an instantiation module corresponding to a record in the target file comprises a preset keyword, a field value of a start point of a check signal corresponding to the record comprises a specified port corresponding to the preset keyword, and a field value of a port of the instantiation module corresponding to the record is the specified port corresponding to the preset keyword included in the field value of the start point of the check signal corresponding to the record, generating a checker and a driver comprising a specified connectivity check item.
[0025] As an optional implementation, S200 further comprises: if a field value of a name of an instantiation module corresponding to a record in the target file comprises a preset keyword, a field value of a start point of a check signal corresponding to the record comprises a specified port corresponding to the preset keyword, and a field value of a port of the instantiation module corresponding to the record is not the specified port corresponding to the preset keyword, issuing a preset warning information. In this way, whether an error is filled in can be reminded.
[0026] As an optional implementation, S200 further comprises: if the three cases are not met, then generating the checker and the driver including the candidate connectivity checking item, wherein the start point of the candidate connectivity checking item is the start point of the transmission path included in the field value of the start point of the checking signal corresponding to the record, and the end point of the candidate connectivity checking item is the port of the instantiated module corresponding to the record. It should be understood that the three cases refer to: 1. the field value of the name of the instantiated module corresponding to the record includes a preset keyword, the field value of the port of the instantiated module is empty, and the field value of the start point of the checking signal includes a specified port corresponding to the preset keyword; 2. the field value of the name of the instantiated module corresponding to the record includes a preset keyword, the field value of the start point of the checking signal includes a specified port corresponding to the preset keyword, and the field value of the port of the instantiated module is the specified port corresponding to the preset keyword included in the field value of the start point of the checking signal corresponding to the record; 3. the field value of the name of the instantiated module corresponding to the record includes a preset keyword, the field value of the start point of the checking signal includes a specified port corresponding to the preset keyword, and the field value of the port of the instantiated module is not the specified port corresponding to the preset keyword.
[0027] As an optional implementation, S200 further comprises:
[0028] If the field value of the start point of the checking signal corresponding to a record includes multiple transmission paths, a preset interval symbol and an operation symbol, then performing an operation on the start points of all the transmission paths included in the field value of the start point of the checking signal corresponding to the record according to the operation symbol included in the field value of the start point of the checking signal corresponding to the record, and determining the operation result as the target input of the checking signal corresponding to the record. Optionally, the preset interval symbol is a comma. As an implementation, the field value of the start point of the checking signal corresponding to a record includes a preset interval symbol (for example, the preset interval symbol is a comma) and an operation symbol (for example, +), then performing an operation on the start points (for example, b and c) of all the transmission paths included in the field value of the start point of the checking signal corresponding to the record according to the operation symbol included in the field value of the start point of the checking signal corresponding to the record, and determining the operation result (i.e., b+c) as the target input of the checking signal corresponding to the record (i.e., when performing the connectivity checking, it is determined whether the field value of the port of the instantiated module corresponding to the record corresponds to the output b+c, if yes, it is determined that the connection is correct; otherwise, it is determined that the connection is incorrect).
[0029] If the field value of the start point of the check signal corresponding to the record does not include the preset interval symbol, the field value of the start point of the check signal corresponding to the record is determined as the target input of the check signal corresponding to the record. As a specific embodiment, if the field value of the start point of the check signal corresponding to the record does not include the preset interval symbol, the field value of the start point of the check signal corresponding to the record (for example, bxd, wherein b is the first transmission path included in the field value of the start point of the check signal corresponding to the record, d is the second transmission path included in the field value of the start point of the check signal corresponding to the record, and x is the operator symbol between the two transmission paths included in the field value of the start point of the check signal corresponding to the record) is determined as the target input of the check signal corresponding to the record (thus, when the connectivity check is performed, it is judged whether the target output corresponding to the record is b0xd0, if it is b0xd0, it is determined that the connection is correct; otherwise, it is determined that the connection is incorrect; wherein b0and d0are the start points included in b and d, respectively).
[0030] As an optional specific embodiment, S200 further includes: if the field value of the port of the instantiation module corresponding to the record includes multiple ports, a preset interval symbol and an operator symbol, performing operation on all the ports included in the field value of the port of the instantiation module corresponding to the record according to the operator symbol included in the field value of the port of the instantiation module corresponding to the record, and determining the operation result as the target output of the check signal corresponding to the record. For example, the target output of the check signal corresponding to the record is e1+e2 (the field value of the port of the instantiation module corresponding to the record is e1, e2, +); wherein e1and e2are two ports included in the field value of the port of the instantiation module corresponding to the record, and the comma is the preset interval symbol and the plus sign is the operator. It should be understood that when the connectivity check is performed, it is judged whether the target output of the check signal corresponding to the record is equal to the target input, if it is equal, it is determined that the connection is correct; otherwise, it is determined that the connection is incorrect.
[0031] If the field value of the port of the instantiation module corresponding to the record does not include the preset interval symbol, the field value of the port of the instantiation module corresponding to the record is determined as the target output of the check signal corresponding to the record. For example, the target output of the check signal corresponding to the record is e1+e2 (the field value of the port of the instantiation module corresponding to the record is e1+e2).
[0032] Thus, the embodiment can support the check with the operator.
[0033] As an optional specific embodiment, the preset field further includes a reset identifier, and S200 further includes:
[0034] If the field value of the reset identifier corresponding to a record is reset, the driving point corresponding to the record is reset to the value before the driving point is forcibly driven after the driving point is forcibly driven.
[0035] Optionally, the driving point is forcibly driven for multiple times, for example, 50 times, to improve the accuracy of the connectivity check.
[0036] Therefore, the embodiment can reset the driving point after the driving, and ensure the normal operation of the corresponding module.
[0037] As an optional specific embodiment, the preset field further includes at least one of the following fields: clock information, signal bit width, delay period, clock trigger edge and reset trigger edge.
[0038] In the embodiment, when the preset field includes the clock information, the clock information of the connectivity check can be described; the clock information is used to specify the clock source used for the check, and if not filled, the static clock is used by default. When the preset field includes the signal bit width, the bit width of the driving value of the start point of the check signal can be described; the signal bit width is used to define the bit width of the driving value, to ensure that the driver generates a random value with correct width. When the preset field includes the clock trigger edge, the clock trigger information of the connectivity check can be described; the clock trigger edge is used to specify the clock edge (rising edge or falling edge) sampled by the checker. When the preset field includes the reset trigger edge, the reset trigger information of the connectivity check can be described; the reset trigger edge is used to specify the trigger edge of the reset operation.
[0039] In the embodiment, when the preset field includes the delay period, the check with delay can be implemented (for example, whether the output of a port of a certain module is the value before a certain start point for a plurality of periods).
[0040] In the embodiment, when the target file is parsed, the scenario that the port field value of the instantiation module is empty can be processed, the specified port corresponding to the preset keyword is automatically derived by checking whether the start point field value of the signal contains the specified port, if the preset keyword is included in the name field value of the instantiation module, the port field value of the instantiation module is empty, and the start point field value of the signal includes the specified port corresponding to the preset keyword, it is determined that the port field value of the instantiation module is the specified port corresponding to the preset keyword included in the start point field value of the signal, it is determined that the connectivity check item includes the connectivity check corresponding to the specified port, and the checker and the driver including the connectivity check are generated. Therefore, the embodiment can automatically complete the missing port information (the preset keyword corresponding to the general connectivity check port included in the start point of the signal is taken as the end point of the signal), without manual filling of the empty field, and the empty field recognition can be supported. Compared with the limitation that all fields must be completely filled in the prior art to generate a use case, the embodiment can reduce the input workload of the verification personnel, improve the efficiency of the connectivity check, and improve the robustness of the automatic verification method.
[0041] Although some specific embodiments of the present application have been described in detail by examples, those skilled in the art should understand that the above examples are only for illustration, but not for limiting the scope of the present application. Those skilled in the art should also understand that various modifications can be made to the embodiments without departing from the scope and spirit of the present application. The scope of the present application is defined by the appended claims.
Claims
1. An automated verification method for connectivity checks, characterized in that, The method comprises the following steps: S100, acquiring a target file used for recording information of connectivity checking; the target file comprises a plurality of preset fields and corresponding field values; the preset fields comprise a name of an instantiated module, a port of the instantiated module, and a starting point of a checking signal; the field value of the starting point of the checking signal comprises a transmission path of the checking signal; S200, parsing the target file; wherein, if the field value of the name of the instantiated module corresponding to a record in the target file comprises a preset keyword, the field value of the port of the instantiated module corresponding to the record is empty, and the field value of the starting point of the checking signal corresponding to the record comprises a specified port corresponding to the preset keyword, a checker and a driver comprising a specified connectivity checking item are generated; the starting point of the specified connectivity checking item is the starting point of the transmission path comprised by the field value of the starting point of the checking signal corresponding to the record; the terminal point of the specified connectivity checking item is the specified port corresponding to the preset keyword comprised by the field value of the starting point of the checking signal corresponding to the record; the specified port corresponding to the preset keyword is a normal connectivity checking port of a module corresponding to the preset keyword.
2. The method for automated verification of connectivity checks according to claim 1, characterized in that, S200 further comprises: if the field value of the name of the instantiated module corresponding to a record in the target file comprises a preset keyword, the field value of the starting point of the checking signal corresponding to the record comprises a specified port corresponding to the preset keyword, and the field value of the port of the instantiated module corresponding to the record is the specified port corresponding to the preset keyword comprised by the field value of the starting point of the checking signal corresponding to the record, a checker and a driver comprising a specified connectivity checking item are generated.
3. The method for automated verification of connectivity checks as claimed in claim 1 wherein, S200 further comprises: if the field value of the name of the instantiated module corresponding to a record in the target file comprises a preset keyword, the field value of the starting point of the checking signal corresponding to the record comprises a specified port corresponding to the preset keyword, and the field value of the port of the instantiated module corresponding to the record is not the specified port corresponding to the preset keyword, preset warning information is sent.
4. The method for automated verification of connectivity checks as claimed in claim 1, wherein, The target file further comprises an identifier used for marking the instantiated module as a multi-instantiated module; if a record is located in a record area corresponding to the identifier, it is determined that the instantiated module corresponding to the record is a multi-instantiated module.
5. The method for automated verification of connectivity checks as claimed in claim 1 wherein, S200 further comprises: If the field value of the starting point of the checking signal corresponding to a record comprises a plurality of transmission paths, a preset interval symbol, and an operation symbol, the starting points of all the transmission paths comprised by the field value of the starting point of the checking signal corresponding to the record are operated according to the operation symbol comprised by the field value of the starting point of the checking signal corresponding to the record, and the operation result is determined as a target input of the checking signal corresponding to the record; If the field value of the starting point of the checking signal corresponding to a record does not comprise a preset interval symbol, the field value of the starting point of the checking signal corresponding to the record is determined as a target input of the checking signal corresponding to the record.
6. The method for automated verification of connectivity checks as claimed in claim 1 wherein, The preset fields further comprise a reset identifier, and S200 further comprises: If the field value of the reset identifier corresponding to a record is reset, the drive point corresponding to the record is reset to the value before the drive point is forcibly driven after the drive point corresponding to the record is forcibly driven.
7. The method for automated verification of connectivity checks as claimed in claim 1 wherein, The preset field further includes at least one of the following fields: clock information, signal bit width, delay period, clock trigger edge and reset trigger edge.
8. The method for automated verification of connectivity checks as claimed in claim 1 wherein, The target file is a CSV file.
9. The method for automated verification of connectivity checks as claimed in claim 1 wherein, S200 further includes: If the field value of the port of the instantiation module corresponding to a record includes multiple ports, a preset interval symbol and an operator symbol, the field value of the port of the instantiation module corresponding to the record is operated according to the operator symbol included in the field value of the port of the instantiation module corresponding to the record, and the operation result is determined as the target output of the check signal corresponding to the record, and a checker and a driver including a candidate connectivity check item are generated; the starting point of the candidate connectivity check item is the starting point of the transmission path included in the field value of the starting point of the check signal corresponding to the record, and the ending point of the specified connectivity check item is the port of the instantiation module corresponding to the record; If the field value of the port of the instantiation module corresponding to a record does not include a preset interval symbol, the field value of the port of the instantiation module corresponding to the record is determined as the target output of the check signal corresponding to the record, and a checker and a driver including a candidate connectivity check item are generated.
10. The method for automated verification of connectivity checks of claim 1, wherein, The checker exists in the form of a module, and the driver exists in the form of a class.
Citation Information
Patent Citations
Verification method of integrated circuit, electronic equipment, program product and storage medium
CN121279204A
Circuit synthesis method and apparatus, electronic device and readable storage medium
WO2025020696A1