A method, device and equipment for verifying a TCAM encapsulation module and a storage medium

Abstract

The application discloses a kind of verification method, device, equipment and storage medium of TCAM encapsulation module.The method comprises: obtaining the configuration information of current tri-state content addressable memory encapsulation module TCAM Wrapper, and according to the configuration information of current TCAM Wrapper and the basic verification environment established in advance, the update basic verification environment and special verification environment corresponding to current TCAM Wrapper are obtained;Further, based on update basic verification environment and special verification environment, the current TCAM Wrapper is verified.The technical scheme of this embodiment, by establishing a basic verification environment in advance, so that when the new specification TCAM Wrapper needs to be verified, only a small amount of modification is needed to the basic verification environment to achieve, can realize the reuse of verification environment, can reduce the maintenance cost of verification environment, so as to reduce the test cost of TCAM Wrapper.

Description

Technical Field

[0001] This invention relates to the field of communication technology, and in particular to a verification method, apparatus, device, and storage medium for a TCAM packaged module. Background Technology

[0002] Ternary content addressable memory (TCAM) is a commonly used storage device in system-on-a-chip (SoC). By using TCAM as the storage IP (Internet Protocol) and encapsulating it with a wrapper module, functions adaptable to the system design can be achieved. Testing and verifying the TCAM wrapper is of great significance for improving the reliability of SoC.

[0003] Currently, existing verification methods for TCAM wrappers typically involve establishing separate verification environments for different TCAM wrapper specifications, and then testing and verifying each TCAM wrapper based on its respective verification environment. However, with the continuous iteration and updates of TCAM wrappers, a large number of verification environments need to be updated, leading to significant maintenance difficulties and increased maintenance costs. Summary of the Invention

[0004] This invention provides a verification method, apparatus, device, and storage medium for TCAM wrapper modules, which enables the reuse of the verification environment, reduces the maintenance cost of the verification environment, and thus reduces the testing cost of TCAM wrappers.

[0005] According to one aspect of the present invention, a verification method for a TCAM packaging module is provided, comprising:

[0006] Obtain the configuration information of the current three-state content-addressable memory wrapper module (TCAM Wrapper);

[0007] Based on the configuration information of the current TCAM Wrapper and the pre-established basic verification environment, obtain the updated basic verification environment and dedicated verification environment corresponding to the current TCAM Wrapper;

[0008] The current TCAM Wrapper is validated based on the updated basic validation environment and the dedicated validation environment.

[0009] According to another aspect of the present invention, a verification apparatus for a TCAM packaged module is provided, comprising:

[0010] The configuration information acquisition module is used to acquire the configuration information of the current three-state content-addressable memory encapsulation module TCAM Wrapper;

[0011] The verification environment acquisition module is used to acquire the updated basic verification environment and the dedicated verification environment corresponding to the current TCAM Wrapper based on the configuration information of the current TCAM Wrapper and the pre-established basic verification environment.

[0012] The verification execution module is used to verify the current TCAM Wrapper based on the updated basic verification environment and the dedicated verification environment.

[0013] According to another aspect of the present invention, an electronic device is provided, the electronic device comprising:

[0014] At least one processor; and

[0015] A memory communicatively connected to the at least one processor; wherein,

[0016] The memory stores a computer program that can be executed by the at least one processor, which enables the at least one processor to perform the verification method of the TCAM packaging module according to any embodiment of the present invention.

[0017] According to another aspect of the present invention, a computer-readable storage medium is provided, the computer-readable storage medium storing computer instructions for causing a processor to execute and implement the verification method of the TCAM packaging module according to any embodiment of the present invention.

[0018] The technical solution of this invention obtains the configuration information of the current tri-state content-addressable memory packaging module (TCAMWrapper), and obtains the updated basic verification environment and dedicated verification environment corresponding to the current TCAM Wrapper based on the current TCAM Wrapper configuration information and the pre-established basic verification environment. Then, based on the updated basic verification environment and dedicated verification environment, the current TCAM Wrapper is verified. By pre-establishing a basic verification environment, when a new specification of TCAM Wrapper needs to be verified, only a small modification to the basic verification environment is required. This enables the reuse of the verification environment, reduces the maintenance cost of the verification environment, and thus reduces the testing cost of TCAMWrapper.

[0019] It should be understood that the description in this section is not intended to identify key or essential features of the embodiments of the present invention, nor is it intended to limit the scope of the invention. Other features of the invention will become readily apparent from the following description. Attached Figure Description

[0020] To more clearly illustrate the technical solutions in the embodiments of the present invention, the accompanying drawings used in the description of the embodiments will be briefly introduced below. Obviously, the accompanying drawings described below are only some embodiments of the present invention. For those skilled in the art, other drawings can be obtained based on these drawings without creative effort.

[0021] Figure 1A This is a flowchart of a verification method for a TCAM packaging module provided according to Embodiment 1 of the present invention;

[0022] Figure 1B This is a flowchart illustrating a method for generating a basic verification environment according to Embodiment 1 of the present invention.

[0023] Figure 2 This is a flowchart of a verification method for a TCAM packaging module provided according to Embodiment 2 of the present invention;

[0024] Figure 3 This is a schematic diagram of the structure of a verification device for a TCAM packaging module according to Embodiment 3 of the present invention;

[0025] Figure 4 This is a schematic diagram of the structure of an electronic device that implements the verification method of the TCAM packaging module in this embodiment of the invention. Detailed Implementation

[0026] To enable those skilled in the art to better understand the present invention, the technical solutions of the present invention will be clearly and completely described below with reference to the accompanying drawings of the embodiments. Obviously, the described embodiments are only some embodiments of the present invention, and not all embodiments. Based on the embodiments of the present invention, all other embodiments obtained by those skilled in the art without creative effort should fall within the scope of protection of the present invention.

[0027] It should be noted that the terms "first," "second," "target," etc., used in the specification, claims, and accompanying drawings of this invention are used to distinguish similar objects and are not necessarily used to describe a specific order or sequence. It should be understood that such data can be interchanged where appropriate so that embodiments of the invention described herein can be implemented in orders other than those illustrated or described herein. Furthermore, the terms "comprising" and "having," and any variations thereof, are intended to cover a non-exclusive inclusion; for example, a process, method, system, product, or apparatus that comprises a series of steps or units is not necessarily limited to those steps or units explicitly listed, but may include other steps or units not explicitly listed or inherent to such processes, methods, products, or apparatus.

[0028] Example 1

[0029] Figure 1A This is a flowchart illustrating a verification method for a TCAM packaging module according to Embodiment 1 of the present invention. This embodiment is applicable to verifying TCAM packaging modules. The method can be executed by a verification device for the TCAM packaging module, which can be implemented in hardware and / or software. This verification device can be configured in an electronic device, typically a computer or server. Figure 1A As shown, the method includes:

[0030] S110. Obtain the configuration information of the current three-state content-addressable memory wrapper module TCAM Wrapper.

[0031] The ternary content addressable memory (TCAM) includes three states for each bit: "0", "1", and "don't care". It allows for both exact and fuzzy matching searches. In this embodiment, the TCAM can be applied to an automotive communication chip.

[0032] It should be noted that, to enable TCAMs to meet different system design and task requirements, a wrapper module can be used to encapsulate the TCAM. The configuration of the TCAM wrapper can be adjusted according to task requirements. The TCAM itself, as the underlying IP, can be selected from different specifications or manufacturers depending on the task requirements. Users do not need to concern themselves with the differences in the underlying TCAMs; they only need to understand the behavior and connection relationships of the wrapper interface to use various TCAMs.

[0033] The configuration information of the TCAM Wrapper may include storage depth, data bit width, signal interface, etc., which are used to determine the parameters of the packaged TCAM. In this embodiment, different TCAM Wrappers may correspond to the same configuration information or different configuration information. Correspondingly, the current TCAM Wrapper is the one that needs to be verified and tested.

[0034] S120. Based on the configuration information of the current TCAM Wrapper and the pre-established basic verification environment, obtain the updated basic verification environment and the dedicated verification environment corresponding to the current TCAM Wrapper.

[0035] The basic verification environment can be a general verification environment obtained by normalizing the verification environments corresponding to different specifications of TCAM Wrapper in advance. It can include common components such as drivers, interfaces and reference models.

[0036] In this embodiment, after obtaining the configuration information of the current TCAM Wrapper, it can first be determined whether the pre-established basic verification environment is suitable for the configuration information of the current TCAM Wrapper. For example, it can be determined whether the signal width of the current TCAM Wrapper is smaller than the signal width corresponding to the interface component of the basic verification environment; or, it can be determined whether the function corresponding to the reference model of the basic verification environment includes the defined function of the current TCAM Wrapper.

[0037] Subsequently, if it is determined that the basic verification environment is suitable for the current TCAM Wrapper's configuration information, the current TCAM Wrapper can be directly verified based on this basic verification environment. However, if it is determined that the basic verification environment is not suitable for the current TCAM Wrapper's configuration information—that is, there are some differences between the current TCAM Wrapper's configuration information and the configuration information applicable to the basic verification environment—then the basic verification environment can be updated based on the current TCAM Wrapper's configuration information to obtain an updated basic verification environment. For example, based on the current TCAM Wrapper's configuration information, the configuration information of the interface components, reference model components, and environmental constraint components of the basic verification environment can be adjusted to obtain an updated basic verification environment.

[0038] In addition, for some configuration information specific to the current TCAM Wrapper, such as specific functions or methods, a dedicated verification environment can be established for the current TCAM Wrapper, and the configuration information specific to the current TCAM Wrapper can be implemented in the dedicated verification environment.

[0039] The advantage of the above setup is that when validating TCAM Wrappers of different specifications, only one basic verification environment needs to be maintained, which can achieve a high degree of reuse of the verification environment, thereby reducing the maintenance cost of the verification environment and the testing cost of TCAM Wrappers.

[0040] S130. Based on the updated basic verification environment and the dedicated verification environment, verify the current TCAMWrapper.

[0041] In this embodiment, after obtaining the updated basic verification environment and the dedicated verification environment, the functional correctness of the current TCAM Wrapper can be verified jointly based on the updated basic verification environment and the dedicated verification environment to ensure that the current TCAM Wrapper can meet the task requirements. For example, test data can be generated by updating components such as driver components, interface components, and reference model components in the basic verification environment to verify the data reading and writing, and read-write data comparison functions of the current TCAM Wrapper. In addition, based on the updated basic verification environment, the customized functions of the current TCAM Wrapper can be verified by overloading the dedicated methods in the dedicated verification environment.

[0042] The technical solution of this invention obtains the configuration information of the current tri-state content-addressable memory packaging module (TCAMWrapper), and obtains the updated basic verification environment and dedicated verification environment corresponding to the current TCAM Wrapper based on the current TCAM Wrapper configuration information and the pre-established basic verification environment. Then, based on the updated basic verification environment and dedicated verification environment, the current TCAM Wrapper is verified. By pre-establishing a basic verification environment, when a new specification of TCAM Wrapper needs to be verified, only a small modification to the basic verification environment is required. This enables the reuse of the verification environment, reduces the maintenance cost of the verification environment, and thus reduces the testing cost of TCAMWrapper.

[0043] In an optional implementation of this embodiment, before obtaining the updated basic verification environment and dedicated verification environment corresponding to the current TCAM Wrapper based on the configuration information of the current TCAM Wrapper and the pre-established basic verification environment, the following may be included:

[0044] Obtain the configuration information of TCAM Wrappers of different specifications, and obtain the basic verification environment based on the configuration information of TCAM Wrappers of different specifications.

[0045] In this embodiment, the verification environment corresponding to each TCAM Wrapper can be obtained in advance based on the configuration information of TCAM Wrappers of different specifications; then, common components, such as driver components and interface components, can be selected from the verification environment corresponding to each TCAM Wrapper; and then a basic verification environment can be generated based on the selected common components.

[0046] In a specific example, obtaining the basic verification environment can be done as follows: Figure 1B As shown, tcam0 and tcam1 are two TCAM Wrappers of different specifications. Specifically, firstly, the verification environment corresponding to tcam0 is obtained, including components such as transaction0, references model0, sequence0, interface0, and driver0, and the verification environment corresponding to tcam1 is obtained, including components such as transaction1, references model1, sequence1, interface1, and driver1. Then, common components between the two verification environments are extracted, such as transaction, references model, sequence, interface, and driver, to generate the basic verification environment common. In addition, the special functions corresponding to tcam0 and tcam1 can be defined in the reference models references model0 and references model1 of their respective verification environments.

[0047] In another optional implementation of this embodiment, obtaining the updated basic verification environment corresponding to the current TCAM Wrapper based on the configuration information of the current TCAM Wrapper and the pre-established basic verification environment may include:

[0048] When it is detected that at least one target signal interface corresponding to the current TCAM Wrapper does not exist in the signal interface set corresponding to the interface component of the basic verification environment, the signal interface set corresponding to the interface component is updated according to each target signal interface to obtain the updated signal interface set.

[0049] Determine whether the signal width corresponding to the current TCAM Wrapper is greater than the signal width corresponding to the interface component. If so, update the signal width corresponding to the interface component according to the signal width corresponding to the current TCAM Wrapper, and obtain the updated signal width corresponding to the interface component.

[0050] Based on the updated set of signal interfaces and the signal bit width corresponding to the updated interface components, obtain the updated basic verification environment corresponding to the current TCAM Wrapper.

[0051] In this embodiment, the configuration information of the current TCAM Wrapper may include signal interfaces and signal bit widths. The signal interface set can be the union of signal interfaces corresponding to different TCAM Wrappers, and may include at least one signal interface. In this embodiment, when it is detected that there is a target signal interface among the signal interfaces corresponding to the current TCAM Wrapper that is not included in the signal interface set corresponding to the interface component, the target signal interface can be added to the signal interface set to obtain an updated signal interface set.

[0052] Furthermore, the signal width corresponding to the current TCAM Wrapper can refer to the maximum signal width that the current TCAM Wrapper can receive. In this embodiment, the signal width corresponding to the interface component can be the maximum signal width of different specifications of TCAM Wrappers. Therefore, when it is detected that the signal width corresponding to the current TCAM Wrapper is greater than the signal width corresponding to the interface component, the signal width corresponding to the current TCAM Wrapper can be used to replace the signal width corresponding to the interface component to obtain the updated signal width corresponding to the interface component, thereby enabling the updated interface component to be successfully applied to the current TCAM Wrapper.

[0053] Secondly, when the signal width corresponding to the previous TCAM Wrapper is detected to be less than or equal to the signal width corresponding to the interface component, the signal width corresponding to the interface component can continue to be used without updating the signal width corresponding to the interface component.

[0054] Furthermore, based on the updated set of signal interfaces and the corresponding signal bit widths of the updated interface components, the updated interface components of the basic verification environment can be obtained; then, by combining other components of the basic verification environment, the updated basic verification environment can be obtained.

[0055] In another optional implementation of this embodiment, obtaining the updated basic verification environment corresponding to the current TCAM Wrapper based on the updated signal interface set and the updated signal bit width corresponding to the interface component may include:

[0056] When it is detected that at least one target environment constraint corresponding to the current TCAM Wrapper does not exist in the environment constraint set of the basic verification environment, the environment constraint instruction set corresponding to the current TCAM Wrapper is obtained according to each target environment constraint;

[0057] Based on the updated signal interface set, the signal bit width corresponding to the updated interface component, and the environment constraint instruction set corresponding to the current TCAM Wrapper, obtain the updated basic verification environment corresponding to the current TCAM Wrapper.

[0058] The configuration information of the current TCAM Wrapper may also include environmental constraints. Environmental constraints are used to generate a series of stimuli, which drive the current TCAM Wrapper under test by sending them to the DUT (Device Under Test) interface. Correspondingly, the set of environmental constraints may include at least one environmental constraint. It should be noted that different TCAM Wrappers typically use the same environmental constraints, with only some differences. Therefore, the set of environmental constraints for the basic verification environment may include most of the environmental constraints common to different TCAM Wrappers.

[0059] In a specific example, when it is detected that the environment constraints corresponding to the current TCAM Wrapper contain target environment constraints not included in the set of environment constraints of the basic verification environment, a new command macro corresponding to the current TCAM Wrapper can be added based on the set of environment constraints, and each target environment constraint can be defined in the command macro. Typically, the command macro can be named using the identifier (e.g., name) of the current TCAM Wrapper. The command macro can be a set of instructions consisting of a series of computer instructions, thus allowing the retrieval of the environment constraint instruction set corresponding to the current TCAM Wrapper.

[0060] Furthermore, when it is detected that the target environment constraint is not present in the environment constraints corresponding to the current TCAM Wrapper, the environment constraint set of the basic verification environment can be used directly without rewriting the environment constraint instruction set corresponding to the current TCAM Wrapper.

[0061] The advantage of the above settings is that they allow for the separate use of different environmental constraints among different TCAM Wrappers, which can improve the ease of maintaining the verification environment.

[0062] Example 2

[0063] Figure 2 This is a flowchart illustrating a verification method for a TCAM packaging module according to Embodiment 2 of the present invention. This embodiment is a further refinement of the above technical solution, and the technical solution in this embodiment can be combined with one or more of the above implementation methods. Figure 2 As shown, the method includes:

[0064] S210. Obtain the configuration information of the current three-state content-addressable memory wrapper module TCAM Wrapper.

[0065] S220. When it is detected that at least one target function corresponding to the current TCAM Wrapper does not exist in the function set corresponding to the public reference model of the basic verification environment, generate the first method corresponding to each target function and add it to the public reference model to obtain the updated public reference model.

[0066] The configuration information of the current TCAM Wrapper may also include functions, such as direct table lookup or port number table lookup. In this embodiment, verification environments corresponding to different specifications of TCAM Wrappers can be obtained in advance, and the same functions can be extracted from the reference models of each verification environment; then, a function set corresponding to a common reference model can be generated based on the extracted functions. The function set may include at least one function.

[0067] In a specific example, when it is detected that there is a target function in the current TCAM Wrapper that is not included in the function set corresponding to the common reference model, a first method corresponding to each target function can be added to the common reference model to obtain the updated common reference model. Here, the first method can correspond to an empty method instance, meaning that when this method is called, no operation is performed.

[0068] S230. Based on the updated public reference model, obtain the updated basic verification environment corresponding to the current TCAM Wrapper.

[0069] Specifically, an updated basic verification environment corresponding to the current TCAM Wrapper can be generated based on the updated public reference model and other updated or original components in the basic verification environment.

[0070] S240. Obtain the initial verification environment corresponding to the current TCAM Wrapper.

[0071] The initial verification environment can be empty, and the corresponding name can be the identifier of the current TCAM Wrapper.

[0072] S250. Generate a second method corresponding to each of the target functions, and obtain a dedicated reference model corresponding to the current TCAM Wrapper according to the second method corresponding to each of the target functions.

[0073] In this embodiment, the second method corresponding to the target function can be recompiled and used as a dedicated reference model for the current TCAM Wrapper. The second method can include a specific method instance; executing this method can achieve the corresponding target function. It is worth noting that the second method can use the same method name as the first method.

[0074] S260. Add the dedicated reference model corresponding to the current TCAM Wrapper to the initial verification environment, and obtain the dedicated verification environment corresponding to the current TCAM Wrapper.

[0075] In this embodiment, a corresponding dedicated reference model can be extended in the initial verification environment corresponding to the current TCAM Wrapper, and the methods corresponding to the target function can be rewritten in the dedicated reference model to achieve the target function, thereby obtaining the dedicated verification environment corresponding to the current TCAM Wrapper.

[0076] In a specific example, if the current TCAM Wrapper is tcam0 and the target function is direct table lookup, a method `func` is generated in the common reference model, but the method instance is empty. Then, a corresponding dedicated reference model `reference_model0` is added to the initial verification environment corresponding to the current TCAM Wrapper, and the `func` method is rewritten in `reference_model0` to implement the direct table lookup function based on interface signals. When performing functional verification based on the verification environment, `reference_model0` can be overloaded to verify the direct table lookup function based on interface signals.

[0077] Optionally, a method with a corresponding empty method instance can be reserved in the public reference model. When the target function corresponding to the current TCAM Wrapper is detected, this reserved method can be directly used as the first method corresponding to the target function, without adding a new method. Subsequently, a second method corresponding to the target function can be added in the dedicated reference model. In this case, the second method can use the same method name as the reserved method.

[0078] In this embodiment, by adding an empty method corresponding to the dedicated function of the current TCAM Wrapper in the basic verification environment and resetting the actual method corresponding to the dedicated function in the dedicated verification environment, the common reference model of the basic verification environment can be reused, and the amount of code modification can be reduced.

[0079] S270. Based on the updated basic verification environment and the dedicated verification environment, verify the current TCAMWrapper.

[0080] The technical solution of this invention, when it is detected that multiple target functions corresponding to the current TCAM Wrapper do not exist in the function set corresponding to the public reference model of the basic verification environment, generates a first method corresponding to each target function and adds it to the public reference model to obtain an updated public reference model; then, based on the updated public reference model, obtains the updated basic verification environment corresponding to the current TCAM Wrapper and the initial verification environment corresponding to the current TCAM Wrapper; further, generates a second method corresponding to each target function and obtains a dedicated reference model corresponding to the current TCAM Wrapper based on the second method corresponding to each target function; finally, adds the dedicated reference model corresponding to the current TCAM Wrapper to the initial verification environment to obtain the dedicated verification environment corresponding to the current TCAM Wrapper, and verifies the current TCAM Wrapper based on the updated basic verification environment and the dedicated verification environment; by rewriting the methods corresponding to the dedicated functions in the dedicated reference model corresponding to the TCAM Wrapper and verifying the current TCAM Wrapper based on the updated basic verification environment and the dedicated verification environment, the basic verification environment can be reused, the amount of code that needs to be modified can be reduced, thereby reducing the maintenance cost of the verification environment and reducing the cost of TCAM Wrapper. Testing costs for Wrapper.

[0081] In another optional implementation of this embodiment, obtaining the updated basic verification environment and dedicated verification environment corresponding to the current TCAM Wrapper based on the configuration information of the current TCAM Wrapper and the pre-established basic verification environment may include:

[0082] Based on the storage parameters corresponding to the current TCAM Wrapper, obtain the common parameter instruction set;

[0083] Add the common parameter instruction set to the initial verification environment to obtain the dedicated verification environment corresponding to the current TCAM Wrapper.

[0084] The current TCAM Wrapper configuration information may also include storage parameters, such as storage depth and data bit width.

[0085] In a specific example, command macros can be used to define the storage parameters corresponding to the current TCAM Wrapper to generate a common parameter instruction set. This common parameter instruction set can then be added to the initial verification environment corresponding to the current TCAM Wrapper to obtain a dedicated verification environment. Components within the common verification environment can invoke instructions from the common parameter instruction set to retrieve the storage parameters.

[0086] Example 3

[0087] Figure 3 This is a schematic diagram of the structure of a verification device for a TCAM packaging module provided in Embodiment 3 of the present invention. Figure 3 As shown, the device includes: a configuration information acquisition module 310, a verification environment acquisition module 320, and a verification execution module 330; wherein,

[0088] The configuration information acquisition module 310 is used to acquire the configuration information of the current three-state content-addressable memory encapsulation module TCAMWrapper;

[0089] The verification environment acquisition module 320 is used to acquire the updated basic verification environment and the dedicated verification environment corresponding to the current TCAM Wrapper based on the configuration information of the current TCAM Wrapper and the pre-established basic verification environment.

[0090] The verification execution module 330 is used to verify the current TCAM Wrapper based on the updated basic verification environment and the dedicated verification environment.

[0091] The technical solution of this invention obtains the configuration information of the current tri-state content-addressable memory packaging module (TCAMWrapper), and obtains the updated basic verification environment and dedicated verification environment corresponding to the current TCAM Wrapper based on the current TCAM Wrapper configuration information and the pre-established basic verification environment. Then, based on the updated basic verification environment and dedicated verification environment, the current TCAM Wrapper is verified. By pre-establishing a basic verification environment, when a new specification of TCAM Wrapper needs to be verified, only a small modification to the basic verification environment is required. This enables the reuse of the verification environment, reduces the maintenance cost of the verification environment, and thus reduces the testing cost of TCAMWrapper.

[0092] Optionally, the verification device for the TCAM packaging module further includes:

[0093] The basic verification environment acquisition module is used to acquire configuration information of TCAM Wrappers of different specifications, and acquire the basic verification environment based on the configuration information of TCAM Wrappers of different specifications.

[0094] Optionally, the verification environment acquisition module 320 includes:

[0095] The set update unit is used to update the signal interface set corresponding to the interface component according to each target signal interface when it is detected that at least one target signal interface corresponding to the current TCAM Wrapper does not exist in the signal interface set corresponding to the interface component of the basic verification environment, and obtain the updated signal interface set.

[0096] The signal bit width update unit is used to determine whether the signal bit width corresponding to the current TCAM Wrapper is greater than the signal bit width corresponding to the interface component. If so, the signal bit width corresponding to the interface component is updated according to the signal bit width corresponding to the current TCAM Wrapper to obtain the updated signal bit width corresponding to the interface component.

[0097] The updated basic verification environment acquisition unit is used to acquire the updated basic verification environment corresponding to the current TCAM Wrapper based on the updated signal interface set and the signal bit width corresponding to the updated interface component.

[0098] Optionally, update the basic verification environment acquisition unit, including:

[0099] An environment constraint instruction set acquisition subunit is used to acquire the environment constraint instruction set corresponding to the current TCAM Wrapper based on each target environment constraint when it is detected that at least one target environment constraint corresponding to the current TCAM Wrapper does not exist in the environment constraint set of the basic verification environment.

[0100] The updated basic verification environment acquisition subunit is used to acquire the updated basic verification environment corresponding to the current TCAM Wrapper based on the updated signal interface set, the signal bit width corresponding to the updated interface component, and the environment constraint instruction set corresponding to the current TCAM Wrapper.

[0101] Optionally, the verification environment acquisition module 320 includes:

[0102] The public reference model update unit is used to generate a first method corresponding to each target function and add it to the public reference model when it is detected that at least one target function corresponding to the current TCAM Wrapper does not exist in the function set corresponding to the public reference model of the basic verification environment, and obtain the updated public reference model.

[0103] The updated basic verification environment acquisition unit is also used to acquire the updated basic verification environment corresponding to the current TCAM Wrapper based on the updated public reference model.

[0104] Optionally, the verification environment acquisition module 320 also includes:

[0105] The initial verification environment acquisition unit is used to acquire the initial verification environment corresponding to the current TCAM Wrapper;

[0106] A dedicated reference model acquisition unit is used to generate a second method corresponding to each of the target functions, and to acquire a dedicated reference model corresponding to the current TCAM Wrapper based on the second method corresponding to each of the target functions.

[0107] The first dedicated verification environment acquisition unit is used to add the dedicated reference model corresponding to the current TCAM Wrapper to the initial verification environment and acquire the dedicated verification environment corresponding to the current TCAM Wrapper.

[0108] Optionally, the verification environment acquisition module 320 includes:

[0109] The common parameter instruction set acquisition unit is used to acquire the common parameter instruction set according to the storage parameters corresponding to the current TCAM Wrapper;

[0110] The second dedicated verification environment acquisition unit is used to add the public parameter instruction set to the initial verification environment and acquire the dedicated verification environment corresponding to the current TCAM Wrapper.

[0111] The verification device for the TCAM packaging module provided in this embodiment of the invention can execute the verification method for the TCAM packaging module provided in any embodiment of the invention, and has the corresponding functional modules and beneficial effects for executing the method.

[0112] Example 4

[0113] Figure 4 A schematic diagram of an electronic device 40 that can be used to implement embodiments of the present invention is shown. The electronic device is intended to represent various forms of digital computers, such as laptop computers, desktop computers, workstations, personal digital assistants, servers, blade servers, mainframe computers, and other suitable computers. The electronic device can also represent various forms of mobile devices, such as personal digital processors, cellular phones, smartphones, wearable devices (e.g., helmets, glasses, watches, etc.), and other similar computing devices. The components shown herein, their connections and relationships, and their functions are merely illustrative and are not intended to limit the implementation of the invention described and / or claimed herein.

[0114] like Figure 4 As shown, the electronic device 40 includes at least one processor 41 and a memory, such as a read-only memory (ROM) 42 or a random access memory (RAM) 43, communicatively connected to the at least one processor 41. The memory stores computer programs executable by the at least one processor. The processor 41 can perform various appropriate actions and processes based on the computer program stored in the ROM 42 or loaded into the RAM 43 from storage unit 48. The RAM 43 may also store various programs and data required for the operation of the electronic device 40. The processor 41, ROM 42, and RAM 43 are interconnected via a bus 44. An input / output (I / O) interface 45 is also connected to the bus 44.

[0115] Multiple components in electronic device 40 are connected to I / O interface 45, including: input unit 46, such as keyboard, mouse, etc.; output unit 47, such as various types of monitors, speakers, etc.; storage unit 48, such as disk, optical disk, etc.; and communication unit 49, such as network card, modem, wireless transceiver, etc. Communication unit 49 allows electronic device 40 to exchange information / data with other devices through computer networks such as the Internet and / or various telecommunications networks.

[0116] Processor 41 can be a variety of general-purpose and / or special-purpose processing components with processing and computing capabilities. Some examples of processor 41 include, but are not limited to, a central processing unit (CPU), a graphics processing unit (GPU), various special-purpose artificial intelligence (AI) computing chips, various processors running machine learning model algorithms, a digital signal processor (DSP), and any suitable processor, controller, microcontroller, etc. Processor 41 performs the various methods and processes described above, such as the verification method for the TCAM package module.

[0117] In some embodiments, the verification method for the TCAM package module can be implemented as a computer program tangibly contained in a computer-readable storage medium, such as storage unit 48. In some embodiments, part or all of the computer program can be loaded and / or installed on the electronic device 40 via ROM 42 and / or communication unit 49. When the computer program is loaded into RAM 43 and executed by processor 41, one or more steps of the verification method for the TCAM package module described above can be performed. Alternatively, in other embodiments, processor 41 can be configured to perform the verification method for the TCAM package module by any other suitable means (e.g., by means of firmware).

[0118] Various embodiments of the systems and techniques described above herein can be implemented in digital electronic circuit systems, integrated circuit systems, field-programmable gate arrays (FPGAs), application-specific integrated circuits (ASICs), application-specific standard products (ASSPs), systems-on-a-chip (SoCs), payload-programmable logic devices (CPLDs), computer hardware, firmware, software, and / or combinations thereof. These various embodiments may include implementations in one or more computer programs that can be executed and / or interpreted on a programmable system including at least one programmable processor, which may be a dedicated or general-purpose programmable processor, capable of receiving data and instructions from a storage system, at least one input device, and at least one output device, and transmitting data and instructions to the storage system, the at least one input device, and the at least one output device.

[0119] Computer programs used to implement the methods of the present invention may be written in any combination of one or more programming languages. These computer programs may be provided to a processor of a general-purpose computer, a special-purpose computer, or other programmable data processing device, such that when executed by the processor, the computer programs cause the functions / operations specified in the flowcharts and / or block diagrams to be performed. The computer programs may be executed entirely on a machine, partially on a machine, or as a standalone software package, partially on a machine and partially on a remote machine, or entirely on a remote machine or server.

[0120] In the context of this invention, a computer-readable storage medium can be a tangible medium that may contain or store a computer program for use by or in conjunction with an instruction execution system, apparatus, or device. A computer-readable storage medium may include, but is not limited to, electronic, magnetic, optical, electromagnetic, infrared, or semiconductor systems, apparatus, or devices, or any suitable combination thereof. Alternatively, a computer-readable storage medium may be a machine-readable signal medium. More specific examples of machine-readable storage media include electrical connections based on one or more wires, portable computer disks, hard disks, random access memory (RAM), read-only memory (ROM), erasable programmable read-only memory (EPROM or flash memory), optical fibers, portable compact disk read-only memory (CD-ROM), optical storage devices, magnetic storage devices, or any suitable combination thereof.

[0121] To provide interaction with a user, the systems and techniques described herein can be implemented on an electronic device having: a display device (e.g., a CRT (cathode ray tube) or LCD (liquid crystal display) monitor) for displaying information to the user; and a keyboard and pointing device (e.g., a mouse or trackball) through which the user provides input to the electronic device. Other types of devices can also be used to provide interaction with the user; for example, feedback provided to the user can be any form of sensory feedback (e.g., visual feedback, auditory feedback, or tactile feedback); and input from the user can be received in any form (including sound input, voice input, or tactile input).

[0122] The systems and technologies described herein can be implemented in computing systems that include backend components (e.g., as data servers), or computing systems that include middleware components (e.g., application servers), or computing systems that include frontend components (e.g., user computers with graphical user interfaces or web browsers through which users can interact with implementations of the systems and technologies described herein), or any combination of such backend, middleware, or frontend components. The components of the system can be interconnected via digital data communication of any form or medium (e.g., communication networks). Examples of communication networks include local area networks (LANs), wide area networks (WANs), blockchain networks, and the Internet.

[0123] A computing system can include clients and servers. Clients and servers are generally located far apart and typically interact through communication networks. The client-server relationship is created by computer programs running on the respective computers and having a client-server relationship with each other. The server can be a cloud server, also known as a cloud computing server or cloud host, which is a hosting product within the cloud computing service system to address the shortcomings of traditional physical hosts and VPS services, such as high management difficulty and weak business scalability.

[0124] It should be understood that the various forms of processes shown above can be used, with steps reordered, added, or deleted. For example, the steps described in this invention can be executed in parallel, sequentially, or in different orders, as long as the desired result of the technical solution of this invention can be achieved, and this is not limited herein.

[0125] The specific embodiments described above do not constitute a limitation on the scope of protection of this invention. Those skilled in the art should understand that various modifications, combinations, sub-combinations, and substitutions can be made according to design requirements and other factors. Any modifications, equivalent substitutions, and improvements made within the spirit and principles of this invention should be included within the scope of protection of this invention.

Claims

1. A verification method for a TCAM packaging module, characterized in that, include: Obtain the configuration information of the current three-state content-addressable memory wrapper module (TCAM Wrapper); Based on the current TCAM Wrapper's configuration information and the pre-established basic verification environment, obtain the updated basic verification environment and dedicated verification environment corresponding to the current TCAM Wrapper; Based on the updated basic verification environment and the dedicated verification environment, the current TCAM Wrapper is verified; Specifically, based on the configuration information of the current TCAM Wrapper and the pre-established basic verification environment, the updated basic verification environment and dedicated verification environment corresponding to the current TCAM Wrapper are obtained, including: When it is detected that at least one target function corresponding to the current TCAM Wrapper does not exist in the function set corresponding to the public reference model of the basic verification environment, the first method corresponding to each target function is generated and added to the public reference model to obtain the updated public reference model; Based on the updated public reference model, obtain the updated basic verification environment corresponding to the current TCAM Wrapper; Obtain the initial verification environment corresponding to the current TCAM Wrapper; Generate a second method corresponding to each of the target functions, and obtain a dedicated reference model corresponding to the current TCAM Wrapper based on the second method corresponding to each of the target functions; Add the dedicated reference model corresponding to the current TCAM Wrapper to the initial verification environment to obtain the dedicated verification environment corresponding to the current TCAM Wrapper. The first method corresponds to an empty method instance, and no operation is performed when the first method is called; the second method includes a specific method instance, and the corresponding target function is implemented when the second method is executed.

2. The method according to claim 1, characterized in that, Before obtaining the updated basic verification environment and dedicated verification environment corresponding to the current TCAM Wrapper based on the current TCAM Wrapper's configuration information and the pre-established basic verification environment, the process also includes: Obtain the configuration information of TCAM Wrappers of different specifications, and obtain the basic verification environment based on the configuration information of TCAM Wrappers of different specifications.

3. The method according to claim 1, characterized in that, Based on the current TCAM Wrapper's configuration information and the pre-established basic verification environment, obtain the updated basic verification environment corresponding to the current TCAM Wrapper, including: When it is detected that at least one target signal interface corresponding to the current TCAM Wrapper does not exist in the signal interface set corresponding to the interface component of the basic verification environment, the signal interface set corresponding to the interface component is updated according to each target signal interface to obtain the updated signal interface set. Determine whether the signal width corresponding to the current TCAM Wrapper is greater than the signal width corresponding to the interface component. If so, update the signal width corresponding to the interface component according to the signal width corresponding to the current TCAM Wrapper, and obtain the updated signal width corresponding to the interface component. Based on the updated set of signal interfaces and the signal bit width corresponding to the updated interface components, obtain the updated basic verification environment corresponding to the current TCAM Wrapper.

4. The method according to claim 3, characterized in that, Based on the updated signal interface set and the updated signal bit width corresponding to the interface component, obtain the updated basic verification environment corresponding to the current TCAM Wrapper, including: When it is detected that at least one target environment constraint corresponding to the current TCAM Wrapper does not exist in the environment constraint set of the basic verification environment, the environment constraint instruction set corresponding to the current TCAM Wrapper is obtained according to each target environment constraint; Based on the updated signal interface set, the signal bit width corresponding to the updated interface component, and the environment constraint instruction set corresponding to the current TCAM Wrapper, obtain the updated basic verification environment corresponding to the current TCAM Wrapper.

5. The method according to claim 1, characterized in that, Based on the current TCAM Wrapper's configuration information and the pre-established basic verification environment, obtain the updated basic verification environment and dedicated verification environment corresponding to the current TCAM Wrapper, including: Based on the storage parameters corresponding to the current TCAM Wrapper, obtain the common parameter instruction set; Add the common parameter instruction set to the initial verification environment to obtain the dedicated verification environment corresponding to the current TCAM Wrapper.

6. A verification device for a TCAM packaging module, characterized in that, include: The configuration information acquisition module is used to acquire the configuration information of the current three-state content-addressable memory encapsulation module TCAM Wrapper; The verification environment acquisition module is used to acquire the updated basic verification environment and the dedicated verification environment corresponding to the current TCAM Wrapper based on the configuration information of the current TCAM Wrapper and the pre-established basic verification environment. The verification execution module is used to verify the current TCAM Wrapper based on the updated basic verification environment and the dedicated verification environment; The verification environment acquisition module is specifically used to generate a first method corresponding to each target function and add it to the public reference model when it is detected that at least one target function corresponding to the current TCAM Wrapper does not exist in the function set corresponding to the public reference model of the basic verification environment, and to obtain the updated public reference model. Based on the updated public reference model, obtain the updated basic verification environment corresponding to the current TCAM Wrapper; Obtain the initial verification environment corresponding to the current TCAM Wrapper; Generate a second method corresponding to each of the target functions, and obtain a dedicated reference model corresponding to the current TCAM Wrapper based on the second method corresponding to each of the target functions; Add the dedicated reference model corresponding to the current TCAM Wrapper to the initial verification environment to obtain the dedicated verification environment corresponding to the current TCAM Wrapper. The first method corresponds to an empty method instance, and no operation is performed when the first method is called; the second method includes a specific method instance, and the corresponding target function is implemented when the second method is executed.

7. An electronic device, characterized in that, The electronic device includes: At least one processor; and A memory communicatively connected to the at least one processor; wherein, The memory stores a computer program that can be executed by the at least one processor, the computer program being executed by the at least one processor to enable the at least one processor to perform the verification method of the TCAM packaged module according to any one of claims 1-5.

8. A computer-readable storage medium, characterized in that, The computer-readable storage medium stores computer instructions that, when executed by a processor, implement the verification method of the TCAM packaging module according to any one of claims 1-5.

Images