Verification environment and object association method and device, terminal equipment and storage medium

Abstract

The invention relates to the technical field of simulation verification, in particular to a verification environment and object association method and device, terminal equipment and a storage medium. The method comprises the steps that when module-level verification is carried out, a binding module is created according to a verification object and bound with the verification object, and binding module information is stored in an environment management list; adding a verification environment into the environment management list; and according to the corresponding relationship between the verification object and the verification environment, associating the verification environment with the binding module in the environment management list, so that the verification environment is associated with the corresponding verification object through the binding module. Therefore, even if the verification level of the verification environment and the verification object is changed, the verification environment and the verification object can be associated according to the corresponding relation between the binding module and the verification environment recorded in the environment management list.

Description

TECHNICAL FIELD

[0001] The present application relates to the field of simulation verification, in particular to a verification environment and object association method and device, a terminal device and a storage medium. BACKGROUND

[0002] In integrated circuit design, modular design thinking is usually adopted, that is, the entire function is split into small modules, the bottom-level module is designed first, and then the modules are integrated to realize the overall function. Correspondingly, chip verification also creates a bottom-level environment to verify the bottom-level module first, and then integrates the environments to verify the upper-level module. The upward integration of the current verification object and the upward integration of the environment have relatively mature methods, but the hierarchical path of the integrated verification object and environment will change, and the previous association of the environment and the verification object is difficult to reuse, which brings some difficulties to the integrated verification. The current integrated verification association method needs to spend time to reconnect the signals and configure the interfaces, which increases the integrated verification time; secondly, the hierarchical path of the integrated signal and the hierarchical path of the integrated environment need to be accurately identified, and manual integration is prone to errors. SUMMARY

[0003] Therefore, the embodiments of the present application provide a verification environment and object association method, device, terminal device and storage medium, which can effectively solve the problem of long integrated verification time.

[0004] In a first aspect, the embodiments of the present application provide a verification environment and object association method, comprising: When performing module-level verification, a binding module is created according to a verification object and is bound with the verification object, and the binding module information is stored in an environment management list; The verification environment is added to the environment management list; According to the correspondence between the verification object and the verification environment, the verification environment and the binding module are associated in the environment management list, so that the verification environment is associated with the corresponding verification object through the binding module.

[0005] In some embodiments, the binding module is created according to the verification object and is bound with the verification object, and the binding module information is stored in the environment management list, comprising: The binding module is bound with the verification object through the binding syntax of the configuration database; A first storage serial number of the binding module is determined, and the verification object name corresponding to the binding module and the first storage serial number are stored in the environment management list as index values.

[0006] In some embodiments, the adding the verification environment into the environment management list comprises: determining an environment name of the verification environment and a second deposit serial number of the verification environment added into the environment management list; taking the corresponding verification object name and the second deposit serial number as an index value of the verification environment.

[0007] In some embodiments, the associating the verification environment and the binding module in the environment management list according to the corresponding relationship between the verification object and the verification environment comprises: determining the binding module and the verification environment with the same index value in the environment management list, and associating the binding module and the verification environment with each other.

[0008] In some embodiments, the associating the verification environment and the corresponding verification object through the binding module comprises: acquiring a verification level where the verification environment is located; acquiring the binding module corresponding to the verification environment through the environment management list; configuring the binding module into the verification level, so that the verification environment is associated to the corresponding verification object through the binding module.

[0009] In some embodiments, the acquiring the verification level where the verification environment is located comprises: the verification environment recording the verification level where the verification environment is located in real time; when the verification environment needs to acquire the verification object, acquiring the recorded verification level from the verification environment.

[0010] In some embodiments, the acquiring the binding module corresponding to the verification environment through the environment management list comprises: acquiring the binding module corresponding to the verification environment from the environment management list through a scheduling method of a configured configuration database.

[0011] In a second aspect, the application further provides a verification environment and object association device, comprising: a verification object binding module, configured to create a binding module and bind the binding module with a verification object when performing module-level verification, and store the binding module information into an environment management list; a verification environment binding module, configured to add a verification environment into the environment management list; The association module is configured to associate the verification environment and the binding module in the environment management list according to the correspondence between the verification object and the verification environment, so that the verification environment is associated with the binding module and the corresponding verification object.

[0012] In a third aspect, the present application provides a terminal device, which comprises a processor and a memory, the memory stores a computer program, and the processor is configured to execute the computer program to implement the verification environment and object association method.

[0013] In a fourth aspect, the present application provides a computer readable storage medium, which stores a computer program, and the computer program is configured to implement the verification environment and object association method when executed on a processor.

[0014] The embodiments of the present application have the following beneficial effects: By binding the binding module and the verification object, and then storing the verification environment and the verification interface in the verification environment management list, the verification environment can call the corresponding binding module according to the verification environment management list after integration, so as to automatically associate with the verification object. The operation of automatic association increases the integration efficiency. BRIEF DESCRIPTION OF DRAWINGS

[0015] In order to more clearly illustrate the technical solutions of the embodiments of the present application, the following will briefly introduce the drawings needed in the embodiments. It should be understood that the following drawings only show some embodiments of the present application, and therefore should not be regarded as a limitation on the scope. For those skilled in the art, other related drawings can also be obtained without creative labor on the basis of these drawings.

[0016] Figure 1 A verification environment and object association method flow diagram of an embodiment of the present application is shown; Figure 2 A simulation diagram of a module level verification environment and verification object of an embodiment of the present application is shown; Figure 3 A simulation diagram of a verification environment and verification object after module integration of an embodiment of the present application is shown; Figure 4 A module integration verification environment and verification object association flow diagram of an embodiment of the present application is shown; Figure 5 A verification environment and object association device structure diagram of an embodiment of the present application is shown. DETAILED DESCRIPTION

[0017] The technical solutions in the embodiments of the present application will be clearly and completely described below with reference to the drawings in the embodiments of the present application. Obviously, the described embodiments are only some of the embodiments of the present application, rather than all the embodiments of the present application.

[0018] The components of the embodiments of the present application generally described and illustrated herein can be arranged and designed in a wide variety of different configurations. Therefore, the following detailed description of the embodiments of the present application provided in the accompanying drawings is not intended to limit the scope of the application, but merely represents selected embodiments of the application. Based on the embodiments of the present application, all other embodiments obtained by those of ordinary skill in the art without creative work fall within the scope of the present application.

[0019] Hereinafter, the terms "include", "have", and their conjugates, used in various embodiments of the present application, are merely intended to denote a certain characteristic, number, step, operation, element, component, or a combination thereof, and not to exclude the presence or addition of one or more other characteristics, numbers, steps, operations, elements, components, or combinations thereof. In addition, the terms "first", "second", "third", and the like are used only to distinguish the description, and are not to be construed as designating or implying an order or sequence in time.

[0020] Unless defined otherwise, all terms used herein (including technical terms and scientific terms) have the same meaning as those commonly understood by one of ordinary skill in the art to which various embodiments of the present application belong. Such terms, as commonly used in the art, are to be interpreted in the same way as they are interpreted in the context of the relevant art and will not be interpreted in an idealized or overly formal sense unless clearly defined in various embodiments of the present application.

[0021] Some embodiments of the present application will be described in detail below with reference to the accompanying drawings. The following embodiments and features in the embodiments can be combined with each other without conflict.

[0022] Because the current association routine of integrated verification needs to spend time to reconnect signals and configure interfaces, the time of integrated verification is increased, the present application provides a verification environment and object association method, by establishing and binding a binding module for a verification object, and by establishing an environment management list to manage the correspondence between the binding module and the verification environment required to be associated, so that when upward integration is performed, even if the verification level of the verification object and the verification environment changes, the verification environment can rely on the associated binding module to automatically find the corresponding verification object, thereby realizing the automatic association of the verification environment and the verification object after integration.

[0023] The verification environment and object association method are described below with reference to some specific embodiments.

[0024] Figure 1 A flow chart of a verification environment and object association method according to an embodiment of the present application is shown. Exemplarily, the verification environment and object association method includes steps S100 to S300: Step S100 , when performing module-level verification, a binding module is created according to the verification object and bound to the verification object, and the binding module information is stored in the environment management list.

[0025] The method of this embodiment is applied to the simulation verification scenario of UVM (universal verification methodology) verification methodology. Simulation verification mainly includes two parts: the verification object and the verification environment. This embodiment is used to quickly and effectively associate these two parts. During module-level verification, these two parts are associated through an interface. When starting the simulation, it is also necessary to pass the interface to the verification structure level where the verification environment is located through a preset configuration method so that the verification environment can obtain the interface, thereby realizing signal stimulation and signal detection of the verification object.

[0026] like Figure 2 The figure shows the simulation structure for module-level verification of a verification object. In this case, there is a verification environment and a corresponding verification object. In the method of this embodiment, when simulation verification is to be performed, a binding module for the verification object is created and bound to the verification object. Exemplarily, the binding module includes an intf interface that can establish a signal connection with the bound verification object module. That is, the binding module and the verification object can establish a signal connection. This allows the binding module to establish a correct signal connection with the verification object regardless of any changes to the hierarchical path of the integrated verification object, thereby enabling the correct verification object to be found.

[0027] Among them, because the verification objects in the verification objects are not unique after upward integration, different verification objects are named with different names to distinguish them, such as module_a, module_b, etc.

[0028] Specifically, after the binding module and the verification object are bound, each time the verification object is instantiated, a binding module corresponding to the verification object will be instantiated at the same time, and the corresponding connection interface can be instantiated in the binding module.

[0029] Among them, the verification object is not unique, so the interface corresponding to the verification object is also not unique. Each verification object will have a corresponding binding module.

[0030] The environment management list is a table used to manage the correspondence between the binding module and the verification environment in this embodiment, and is used to store the information of the binding module. The information of the binding module is mainly stored in the environment management list after the binding module is generated and bound with the verification object.

[0031] An index value is generated for each binding module information when it is stored in the environment management list. In one embodiment, the index value can be the name of the binding module corresponding to the binding module and the number of times the name of the module is stored in the environment management list. Thus, the two variables of the name and the number of times make each binding module have a unique index value. The number of times is the number of times the interface information of the same name module is added to the environment management list. The index information of the number of times can support the multiple instantiation of the same name module in the upper layer, i.e., multiple interface information of the same type is added to the environment management list.

[0032] As shown in Figure 3 , it is a schematic diagram of the association form of the verification environment and the verification object after the module integration. The integrated environment management list stores multiple binding module information, and the index of the binding module is the first storage sequence number and the name of the binding module.

[0033] The first storage sequence number is determined by the environment management list according to the number of times the same name binding module is added when the binding module is stored in the environment management list. The first storage sequence number is the number of times the binding module is added to the environment management list. For example, a binding module with the name bind1 is added to the environment management list for the 10th time, and the first storage sequence number of the binding module is 10. Therefore, the index of the binding module is "bind1+10", and the name and the first storage sequence number together serve as the index of the binding module in the environment management list. When the binding module is queried, the index can be directly queried.

[0034] In step S200, the verification environment is added to the environment management list.

[0035] When the module-level verification is performed, the verification environment is also stored in the environment management list. The index value of each verification environment is similar to the index value of the verification object described above, and is determined by the name of the verification environment and the number of times the same name verification environment is stored in the environment management list as the second storage sequence number.

[0036] And the verification environment and the verification object have a corresponding relationship before integration, so the verification environment can also be stored in the environment management list according to the module name and the second storage serial number as the index value. The first storage serial number and the second storage serial number are serial numbers for recording the storage order of the binding module and the verification environment respectively, and they are calculated independently and do not interfere with each other. For example, two counters can be set for the first storage serial number and the second storage serial number respectively, and each time a module with the same name is stored, the corresponding counter is incremented by 1, and the value after the increment is used as the first storage serial number or the second storage serial number.

[0037] It should be noted that the verification environment and the verification object have a corresponding relationship when performing module-level verification before upward integration simulation verification, so for the verification environment, its corresponding verification object name can be directly used as its own name when it is stored in the environment management list. At the same time, because the verification environment and the verification object have a one-to-one correspondence, in the case that one of them does not participate in verification, the other also does not participate in verification, and one participates in verification, the other must participate in binding, so the first storage serial number and the second storage serial number of the two will actually be increased synchronously, and the first storage serial number and the second storage serial number of the two will be the same. Therefore, it can be understood that the two associated verification environment and verification object have the same index value in the method of the embodiment.

[0038] As described in the environment management list in Figure 3 , which belongs to the verification environment and the verification object, the brackets in it are all module names, indicating the corresponding module, and the brackets before env represent the verification environment, and the binding module name harness represents the binding module, so as to distinguish the verification object and the verification interface.

[0039] Figure 3 In order to facilitate, three verification objects and three verification environments are taken as an example for description in the above-mentioned environment management list, and it can be understood that the number of modules and environments can be changed according to actual conditions, and the above-mentioned is only a demonstration for convenience, and the environment management list can save more verification environments and verification modules in a similar form in actual scenarios.

[0040] In step S300, according to the corresponding relationship between the verification object and the verification environment, the verification environment and the binding module are associated in the environment management list, so that the verification environment is associated with the corresponding verification object through the binding module.

[0041] As Figure 3As shown, there is a one-to-one correspondence between the verification environment and the binding module, which represents a one-to-one correspondence between the verification environment and the binding module, and the one-to-one correspondence is generated based on the correspondence between the verification object and the verification environment.

[0042] As previously described with respect to the index value of the verification environment and the verification object in the environment management list, because the binding module and the verification environment both carry the name of the verification object in the table, this correspondence existing at the bottom can be associated by the name, and after successful association, the index of the two can be used to record the association relationship. After determining the association relationship, during actual verification, the interface configuration information in the binding module can be obtained by matching through the index.

[0043] The specific association process is as follows: Figure 4 As shown, it includes: Step S400, obtaining the verification level of the verification environment.

[0044] When the module is integrated upwards, the verification level of the verification environment will change, and the verification environment will record the verification level it is in in real time. When the verification environment needs to associate the verification object, the verification level it is in can be obtained from the verification environment.

[0045] Step S500, obtaining the binding module corresponding to the verification environment through the environment management list.

[0046] After obtaining the verification level, the next step is to obtain the binding module corresponding to the verification environment through the environment management list.

[0047] As previously described, the index values of the mutually associated verification environment and the binding module are actually the same, so the index value of the verification environment can be used to index the binding module to find the binding module with the same index value.

[0048] Here, only the name of the binding module is obtained from the environment management list. In order to call the interface, the binding module needs to be obtained through the scheduling method of the configured configuration database. For example, the binding module can be called by the obtaining method of config_db.

[0049] Step S600, configuring the binding module into the verification level, so that the verification environment is associated with the corresponding verification object through the binding module.

[0050] After finding the binding module, the binding module can be configured into the verification level where the verification environment is located, so that the verification environment can be associated with the corresponding verification object through the binding module.

[0051] After the binding module is configured to the level where the verification environment is located, the verification environment uses the obtaining method of the config_db to obtain the configured binding module, thereby completing the obtaining operation.

[0052] It can be understood that the embodiment directly records the association structure of the module-level verification integration through the environment management list, mainly saves the association relationship between the binding module and the verification environment, and when the integration is performed upwards, the association process can be omitted, the binding module is directly called for the verification environment through the association relationship recorded in the table, automatic association is realized, the verification integration time is shortened, and association errors in the verification integration process are avoided.

[0053] Figure 5 A structure schematic diagram of an automatic association device of a verification environment and a verification object of an embodiment of the application is shown. Exemplarily, the device includes: A verification object binding module 10 is configured to create a binding module according to a verification object and bind the binding module with the verification object when the module-level verification is performed, and store the binding module information into an environment management list; A verification environment binding module 20 is configured to store a verification environment into the environment management list; An association module 30 is configured to associate the verification environment and the binding module in the environment management list according to the corresponding relationship between the verification object and the verification environment, so that the verification environment is associated with the corresponding verification object through the binding module.

[0054] The application further provides a terminal device, which includes a processor and a memory, the memory stores a computer program, and the processor is configured to execute the computer program to implement the verification environment and object association method.

[0055] The application further provides a computer readable storage medium, which stores a computer program, and the computer program is executed on a processor to implement the verification environment and object association method.

[0056] It can be understood that the device of the embodiment corresponds to the method of the above-mentioned embodiment, and the optional items in the above-mentioned embodiment are also applicable to the embodiment, and therefore are not repeatedly described here.

[0057] The application further provides a terminal device, which exemplarily includes a processor and a memory, wherein the memory stores a computer program, and the processor executes the computer program to enable the terminal device to perform the functions of each module in the above-mentioned method or device.

[0058] The processor can be an integrated circuit chip with a processing capability of signals. The processor can be a general processor, including a central processing unit (CPU), a graphics processing unit (GPU), and a network processor (NP), a digital signal processor (DSP), an application specific integrated circuit (ASIC), a field programmable gate array (FPGA) or other programmable logic devices, a discrete gate or transistor logic device, a discrete hardware component, at least one of the above. The general processor can be a microprocessor or the processor can be any conventional processor or the like, which can implement or execute the disclosed methods, steps and logic block diagrams in the embodiments of the present application.

[0059] The memory can be, but is not limited to, a random access memory (RAM), a read only memory (ROM), a programmable read only memory (PROM), an erasable programmable read only memory (EPROM), an electrically erasable programmable read only memory (EEPROM) and the like. The memory is used to store a computer program. After receiving an execution instruction, the processor can execute the computer program accordingly.

[0060] The present application also provides a computer readable storage medium for storing the computer program used in the terminal device. For example, the computer readable storage medium can include, but is not limited to, a U disk, a mobile hard disk, a read only memory (ROM), a random access memory (RAM), a magnetic disk or an optical disk and various program code storage media.

[0061] In several embodiments provided in the present application, it should be understood that the disclosed apparatus and method can also be implemented by other means. The apparatus embodiments described above are only illustrative, for example, the flowcharts and structural diagrams in the drawings show the possible implementation architecture, function and operation of the apparatus, method and computer program product according to the embodiments of the present application. In this regard, each block in the flowchart or block diagram can represent a module, a program segment or a part of code, which contains one or more executable instructions for implementing the specified logic function. It should also be noted that in alternative implementation, the functions noted in the block can also occur in different order from that noted in the drawings. For example, two consecutive blocks can actually be executed substantially in parallel, and sometimes they can be executed in reverse order, depending on the functions involved. It should also be noted that each block in the structural diagram and / or flowchart, and the combination of blocks in the structural diagram and / or flowchart, can be implemented by a dedicated hardware-based system for executing the specified function or action, or can be implemented by a combination of dedicated hardware and computer instructions.

[0062] In addition, each functional module or unit in the embodiments of the present application can be integrated together to form an independent part, or each module can exist independently, or two or more modules can be integrated to form an independent part.

[0063] If the functions are implemented in the form of software function modules and sold or used as independent products, they can be stored in a computer readable storage medium. Based on this understanding, the technical solutions of the present application can be embodied in the form of a software product, which is stored in a storage medium and includes a number of instructions for causing a computer device (which can be a smart phone, a personal computer, a server, or a network device, etc.) to execute all or part of the steps of the methods described in the embodiments of the present application.

[0064] The above description is only a specific implementation of the present application, but the protection scope of the present application is not limited thereto. Any person skilled in the art can easily think of changes or replacements within the technical scope disclosed in the present application, which should be covered within the protection scope of the present application.

Claims

1. A method for associating a verification environment with an object, characterized in that: include: When performing module-level verification, a binding module is created according to the verification object and bound to the verification object, and the binding module information is stored in the environment management list; Adding the verification environment to the environment management list; According to the correspondence between the verification object and the verification environment, the verification environment and the binding module are associated in the environment management list, so that the verification environment is associated with the corresponding verification object through the binding module.

2. The verification environment and object association method according to claim 1, characterized in that: The step of creating a binding module according to the verification object and binding the binding module to the verification object, and storing the binding module information in the environment management list includes: Binding the binding module to the verification object through the binding syntax of the configuration database; Determine a first storage serial number of the binding module, and store the verification object name corresponding to the binding module and the first storage serial number as index values ​​in an environment management list.

3. The verification environment and object association method according to claim 1, characterized in that: Adding the verification environment to the environment management list includes: Determine the environment name of the verification environment and the second storage sequence number of the verification environment added to the environment management list; The corresponding verification object name and the second stored serial number are used as the index value of the verification environment.

4. The verification environment and object association method according to claim 1, characterized in that: The associating the verification environment with the binding module in the environment management list according to the correspondence between the verification object and the verification environment includes: Determine a binding module and a verification environment with the same index value in the environment management list, and associate the binding module and the verification environment with each other.

5. The verification environment and object association method according to claim 1, characterized in that: The verification environment is associated with the corresponding verification object through the binding module, including: Obtaining the verification level of the verification environment; Obtaining the binding module corresponding to the verification environment through the environment management list; The binding module is configured in the verification hierarchy so that the verification environment is associated with the corresponding verification object through the binding module.

6. The verification environment and object association method according to claim 5, characterized in that: The obtaining of the verification level of the verification environment includes: The verification environment records the current verification level in real time; When the verification environment needs to obtain the verification object, the recorded verification level is obtained from the verification environment.

7. The verification environment and object association method according to claim 1, characterized in that: Obtaining the binding module corresponding to the verification environment through the environment management list includes: The binding module corresponding to the verification environment is obtained from the environment management list through the scheduling method of the set configuration database.

8. A verification environment and object association device, characterized in that: include: A verification object binding module, which is used to create a binding module according to the verification object module and bind it to the verification object when performing module-level verification, and store the binding module information in the environment management list; A verification environment binding module, used to add the verification environment to the environment management list; An associating module is used to associate the verification environment with the binding module in the environment management list according to the corresponding relationship between the verification object and the verification environment, so that the verification environment is associated with the corresponding verification object through the binding module.

9. A terminal device, characterized in that: The terminal device includes a processor and a memory, wherein the memory stores a computer program, and the processor is configured to execute the computer program to implement the verification environment and object association method according to any one of claims 1 to 7.

10. A computer-readable storage medium, characterized in that The computer program is stored therein, and when the computer program is executed on a processor, the verification environment and object association method according to any one of claims 1 to 7 is implemented.

Images