CN115270672A

CN115270672A - Verification method, device, equipment and storage medium of TCAM (ternary content addressable memory) encapsulation module

Info

Publication number: CN115270672A
Application number: CN202210946021.7A
Authority: CN
Inventors: 吉利
Original assignee: Beijing Wuxin Technology Co ltd
Current assignee: Neuron Information Technology Chengdu Co ltd
Priority date: 2022-08-08
Filing date: 2022-08-08
Publication date: 2022-11-01

Abstract

The invention discloses a verification method, a verification device, verification equipment and a storage medium of a TCAM (ternary content addressable memory) encapsulation module. The method comprises the following steps: acquiring configuration information of a current TCAM Wrapper of a ternary content addressable memory encapsulation module, and acquiring an updated basic verification environment and a special verification environment corresponding to the current TCAM Wrapper according to the configuration information of the current TCAM Wrapper and a pre-established basic verification environment; and then verifying the current TCAM Wrapper based on the updated basic verification environment and the special verification environment. According to the technical scheme, the basic verification environment is established in advance, so that when the TCAM Wrapper of a new specification is required to be verified, the verification can be realized only by slightly modifying the basic verification environment, the multiplexing of the verification environment can be realized, the maintenance cost of the verification environment can be reduced, and the test cost of the TCAM Wrapper can be reduced.

Description

Verification method, device, equipment and storage medium of TCAM (ternary content addressable memory) encapsulation module

Technical Field

The present invention relates to the field of communications technologies, and in particular, to a verification method, an apparatus, a device, and a storage medium for a TCAM encapsulation module.

Background

A Ternary Content Addressable Memory (TCAM) is a common storage device for a system-on-chip, and a function adapted to system design can be implemented by using the TCAM as a storage IP (Internet Protocol) and by using a Wrapper module (Wrapper) to package the TCAM. The test and verification of the TCAM Wrapper are significant for improving the reliability of a system-level chip.

At present, in an existing verification method for TCAM Wrapper, corresponding verification environments are generally established for TCAM wrappers of different specifications, so that each TCAM Wrapper is tested and verified based on the corresponding verification environment. However, with the continuous iterative update of the TCAM Wrapper, a large number of verification environments need to be updated, which results in a high difficulty in maintaining the verification environments and an increase in maintenance cost.

Disclosure of Invention

The invention provides a verification method, a verification device, verification equipment and a storage medium of a TCAM encapsulation module, which can realize the reuse of a verification environment and reduce the maintenance cost of the verification environment, thereby reducing the test cost of the TCAM Wrapper.

According to an aspect of the present invention, a verification method for a TCAM encapsulation module is provided, including:

acquiring configuration information of a current TCAM Wrapper;

acquiring an updated basic verification environment and a special verification environment corresponding to the current TCAM Wrapper according to the configuration information of the current TCAM Wrapper and a pre-established basic verification environment;

and verifying the current TCAM Wrapper based on the updating basic verification environment and the special verification environment.

According to another aspect of the present invention, there is provided a verification apparatus for a TCAM encapsulation module, including:

the configuration information acquisition module is used for acquiring the configuration information of the current Ternary Content Addressable Memory (TCAM) Wrapper;

a verification environment obtaining module, configured to obtain an updated basic verification environment and a dedicated verification environment corresponding to the current TCAM Wrapper according to the configuration information of the current TCAM Wrapper and a pre-established basic verification environment;

and the verification execution module is used for verifying the current TCAM Wrapper based on the updated basic verification environment and the special verification environment.

According to another aspect of the present invention, there is provided an electronic apparatus including:

at least one processor; and

a memory communicatively coupled to the at least one processor; wherein the content of the first and second substances,

the memory stores a computer program executable by the at least one processor, the computer program being executable by the at least one processor to enable the at least one processor to perform a method of validating a TCAM encapsulation module according to any embodiment of the present invention.

According to another aspect of the present invention, there is provided a computer-readable storage medium storing computer instructions for causing a processor to implement a method for verifying a TCAM encapsulation module according to any one of the embodiments of the present invention when the computer instructions are executed.

According to the technical scheme of the embodiment of the invention, the configuration information of the current TCAM Wrapper of the ternary content addressable memory encapsulation module is obtained, and the updated basic verification environment and the special verification environment corresponding to the current TCAM Wrapper are obtained according to the configuration information of the current TCAM Wrapper and the pre-established basic verification environment; and then based on updating the basic verification environment and the special verification environment, verifying the current TCAM Wrapper, and when the new specification TCAM Wrapper needs to be verified, only a small amount of modification is needed to be carried out on the basic verification environment to realize the verification by establishing the basic verification environment in advance, so that the multiplexing of the verification environment can be realized, the maintenance cost of the verification environment can be reduced, and the test cost of the TCAM Wrapper can be reduced.

It should be understood that the statements in this section do not necessarily identify key or critical features of the embodiments of the present invention, nor do they necessarily limit the scope of the invention. Other features of the present invention will become apparent from the following description.

Drawings

In order to more clearly illustrate the technical solutions in the embodiments of the present invention, the drawings needed to be used in the description of the embodiments will be briefly introduced below, and it is obvious that the drawings in the following description are only some embodiments of the present invention, and it is obvious for those skilled in the art to obtain other drawings based on these drawings without creative efforts.

Fig. 1A is a flowchart of a verification method for a TCAM encapsulation module according to an embodiment of the present invention;

FIG. 1B is a flowchart illustrating a method for generating a basic verification environment according to an embodiment of the present invention;

fig. 2 is a flowchart of a verification method for a TCAM encapsulation module according to a second embodiment of the present invention;

fig. 3 is a schematic structural diagram of an apparatus for verifying a TCAM encapsulation module according to a third embodiment of the present invention;

fig. 4 is a schematic structural diagram of an electronic device implementing the verification method of the TCAM encapsulation module according to the embodiment of the present invention.

Detailed Description

In order to make the technical solutions of the present invention better understood, the technical solutions in the embodiments of the present invention will be clearly and completely described below with reference to the drawings in the embodiments of the present invention, and it is obvious that the described embodiments are only a part of the embodiments of the present invention, and not all of the embodiments. All other embodiments, which can be derived by a person skilled in the art from the embodiments given herein without making any creative effort, shall fall within the protection scope of the present invention.

It should be noted that the terms "first," "second," "target," and the like in the description and claims of the present invention and in the above-described drawings are used for distinguishing between similar elements and not necessarily for describing a particular sequential or chronological order. It is to be understood that the data so used is interchangeable under appropriate circumstances such that the embodiments of the invention described herein are capable of operation in sequences other than those illustrated or described herein. Moreover, the terms "comprises," "comprising," and "having," and any variations thereof, are intended to cover a non-exclusive inclusion, such that a process, method, system, article, or apparatus that comprises a list of steps or elements is not necessarily limited to those steps or elements expressly listed, but may include other steps or elements not expressly listed or inherent to such process, method, article, or apparatus.

Example one

Fig. 1A is a flowchart of a verification method for a TCAM encapsulation module according to an embodiment of the present invention, where the method is applicable to a case of verifying the TCAM encapsulation module, and the method can be executed by a verification apparatus for the TCAM encapsulation module, where the verification apparatus for the TCAM encapsulation module can be implemented in a form of hardware and/or software, and the verification apparatus for the TCAM encapsulation module can be configured in an electronic device, and typically, the electronic device may be a computer device or a server. As shown in fig. 1A, the method includes:

s110, obtaining the configuration information of the current ternary content addressable memory encapsulation module TCAM Wrapper.

Each bit of a Ternary Content Addressable Memory (TCAM) includes three states of "0", "1", and "don't care", which can perform both exact matching search and fuzzy matching search. In this embodiment, the TCAM may be applied to a vehicle-mounted communication chip.

It should be noted that, in order to enable the TCAM to meet different system designs and task requirements, the TCAM may be packaged by using a Wrapper module Wrapper, and the configuration of the TCAM Wrapper may be adjusted according to the task requirements. The TCAM is used as a bottom layer IP, and TCAMs of different specifications or manufacturers can be selected according to task requirements. For a user, the difference of the TCAMs at the bottom layer is not needed to be concerned, and the use of various TCAMs can be realized only by knowing the behavior and the connection relation of the Wrapper interface.

The configuration information of the TCAM Wrapper may include a storage depth, a data bit width, a signal interface, and the like, and is used to determine a parameter index of the TCAM after encapsulation. In this embodiment, different TCAM Wrapper may correspond to the same configuration information or different configuration information. Correspondingly, the current TCAM Wrapper, i.e. the TCAM Wrapper which needs to be verified and tested currently.

S120, obtaining an updated basic verification environment and a special verification environment corresponding to the current TCAM Wrapper according to the configuration information of the current TCAM Wrapper and the pre-established basic verification environment.

The basic verification environment may be a general verification environment obtained by normalizing the verification environments corresponding to TCAM Wrapper of different specifications in advance, and may include components such as a common driver (driver), an interface (interface), a reference model (reference model), and the like.

In this embodiment, after the configuration information of the current TCAM Wrapper is obtained, it may be first determined whether a pre-established basic verification environment is applicable to the configuration information of the current TCAM Wrapper. For example, whether the signal bit width of the current TCAM Wrapper is smaller than the signal bit width corresponding to the interface component of the basic verification environment is judged; or, judging whether the function corresponding to the reference model of the basic verification environment comprises the definition function of the current TCAM Wrapper.

Then, if it is determined that the basic verification environment is applicable to the configuration information of the current TCAM Wrapper, the current TCAM Wrapper may be verified based on the basic verification environment directly. If it is determined that the basic verification environment is not applicable to the configuration information of the current TCAM Wrapper, that is, there is a difference between part of the configuration information of the current TCAM Wrapper and the configuration information applicable to the basic verification environment, the basic verification environment may be updated based on the configuration information of the current TCAM Wrapper to obtain an updated basic verification environment. For example, based on the configuration information of the current TCAM Wrapper, the configuration information of the interface component, the reference model component, the environment constraint component, and the like of the basic verification environment may be adjusted, so as to obtain the updated basic verification environment.

In addition, for part of the configuration information specific to the current TCAM Wrapper, for example, a specific function or method, etc., a specific verification environment corresponding to the current TCAM Wrapper may be established, and the configuration information specific to the current TCAM Wrapper may be implemented in the specific verification environment.

The advantage of the above-mentioned setting lies in, when verifying the TCAM Wrapper of different specifications, only need maintain one set of basic verification environment, can realize highly multiplexing to the verification environment to can reduce the maintenance cost who verifies the environment, can reduce TCAM Wrapper's test cost.

S130, verifying the current TCAM Wrapper based on the updated basic verification environment and the special verification environment.

In this embodiment, after the update basic verification environment and the dedicated verification environment are obtained, the functional correctness of the current TCAM Wrapper may be verified together based on the update basic verification environment and the dedicated verification environment, so as to ensure that the current TCAM Wrapper can meet task requirements. For example, test data may be generated by updating components such as a driver component, an interface component, and a reference model component in the basic verification environment, so as to verify functions such as data read-write, read-write data comparison, and the like of the current TCAM Wrapper. In addition, on the basis of updating the basic verification environment, the verification of the customized function of the current TCAM Wrapper can be realized by adopting a mode of reloading a special method in the special verification environment.

According to the technical scheme of the embodiment of the invention, the configuration information of the current TCAM Wrapper of the ternary content addressable memory encapsulation module is obtained, and the updated basic verification environment and the special verification environment corresponding to the current TCAM Wrapper are obtained according to the configuration information of the current TCAM Wrapper and the pre-established basic verification environment; and then based on updating the basic verification environment and the special verification environment, verifying the current TCAM Wrapper, and when the new specification TCAM Wrapper needs to be verified, only a small amount of modification is needed to be carried out on the basic verification environment by establishing a basic verification environment in advance, so that the multiplexing of the verification environment can be realized, the maintenance cost of the verification environment can be reduced, and the test cost of the TCAM Wrapper can be reduced.

In an optional implementation manner of this embodiment, before obtaining, according to the configuration information of the current TCAM Wrapper and the pre-established basic verification environment, the updating of the basic verification environment and the dedicated verification environment corresponding to the current TCAM Wrapper may further include:

and acquiring configuration information of TCAM Wrapper of different specifications, and acquiring a basic verification environment according to the configuration information of the TCAM Wrapper of different specifications.

In this embodiment, the verification environment corresponding to each TCAM Wrapper may be obtained in advance according to the configuration information of TCAM wrappers of different specifications; then, in the verification environment corresponding to each TCAM Wrapper, a common component, such as a driving component, an interface component, etc., can be obtained by screening; and generating a basic verification environment based on the public components obtained by screening.

In one specific example, the acquisition base verification environment may be as shown in FIG. 1B; wherein TCAM0 and TCAM1 are two TCAM Wrapper of different specifications. Specifically, firstly, acquiring a verification environment corresponding to tcam0, wherein the verification environment comprises components such as transaction0, referres model0, sequence0, interface0 and driver0, and the verification environment corresponding to tcam1 comprises components such as transaction1, referres model1, sequence1, interface1 and driver 1; then, common components in the two verification environments, such as transaction, referrals model, sequence, interface, driver, etc., are extracted to generate a common basic verification environment. In addition, for the dedicated functions corresponding to tcam0 and tcam1, respectively, the dedicated functions may be defined in the reference models of the verification environments, refer model0 and refer model1, respectively.

In another optional implementation manner of this embodiment, the obtaining, according to the configuration information of the current TCAM Wrapper and a pre-established basic verification environment, an updated basic verification environment corresponding to the current TCAM Wrapper may include:

when it is detected that at least one target signal interface corresponding to the current TCAM Wrapper does not exist in a signal interface set corresponding to an interface component of the basic verification environment, updating the signal interface set corresponding to the interface component according to each target signal interface, and acquiring the updated signal interface set;

judging whether the signal bit width corresponding to the current TCAM Wrapper is larger than the signal bit width corresponding to the interface component, if so, updating the signal bit width corresponding to the interface component according to the signal bit width corresponding to the current TCAM Wrapper to obtain the updated signal bit width corresponding to the interface component;

and acquiring an updated basic verification environment corresponding to the current TCAM Wrapper according to the updated signal interface set and the updated signal bit width corresponding to the interface component.

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

In addition, the bit width of the signal corresponding to the current TCAM Wrapper may refer to a maximum bit width of the signal that can be received by the current TCAM Wrapper. In this embodiment, the signal bit width corresponding to the interface component may be the maximum signal bit width of TCAM Wrapper of different specifications. Therefore, when it is detected that the signal bit width corresponding to the current TCAM Wrapper is greater than the signal bit width corresponding to the interface component, the signal bit width corresponding to the interface component may be replaced with the signal bit width corresponding to the current TCAM Wrapper to obtain the signal bit width corresponding to the updated interface component, so that the updated interface component may be successfully applied to the current TCAM Wrapper.

Secondly, when detecting that the signal bit width corresponding to the prior TCAM Wrapper is less than or equal to the signal bit width corresponding to the interface component, the signal bit width corresponding to the interface component can be continuously used without updating the signal bit width corresponding to the interface component.

Further, the interface component of the updated basic verification environment may be obtained based on the updated signal interface set and the signal bit width corresponding to the updated interface component; thereafter, the updated base verification environment may be obtained by incorporating other components of the base verification environment.

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

when it is detected that the target environment constraint corresponding to at least one current TCAM Wrapper does not exist in the environment constraint set of the basic verification environment, acquiring an environment constraint instruction set corresponding to the current TCAM Wrapper according to each target environment constraint;

and acquiring an updated basic verification environment corresponding to the current TCAM Wrapper according to the updated signal interface set, the updated signal bit width corresponding to the interface component and the environment constraint instruction set corresponding to the current TCAM Wrapper.

The configuration information of the current TCAM Wrapper may further include an environmental constraint. Environmental constraints, which may be used to generate a series of stimuli, may drive the current TCAM Wrapper to be tested by sending the stimuli to a DUT (Device under test) interface. Correspondingly, the set of environmental constraints may include at least one environmental constraint. It should be noted that the environment constraints applied to different TCAM writers are generally the same, and only some of the environment constraints are different, so the set of environment constraints of the basic verification environment may include most of the environment constraints commonly applied to different TCAM writers.

In a specific example, when it is detected that a target environment constraint that is not included in the environment constraint set of the basic verification environment exists in the environment constraint corresponding to the current TCAM Wrapper, a command macro corresponding to the current TCAM Wrapper may be newly added on the basis of the environment constraint set, and each target environment constraint is defined in the command macro. Typically, the command macro may be named with the identity (e.g., name) of the current TCAM Wrapper. The command macro may be an instruction set composed of a series of computer instructions, so that an environment constraint instruction set corresponding to the current TCAM Wrapper may be obtained.

In addition, when it is detected that the target environment constraint does not exist in the environment constraint corresponding to the current TCAM Wrapper, the environment constraint set of the basic verification environment can be directly used without rewriting the environment constraint instruction set corresponding to the current TCAM Wrapper.

The advantage of the above-mentioned setting lies in, can realize the cutting apart of different environmental constraints between different TCAM Wrapper and use, can promote the maintenance convenience of verifying the environment.

Example two

Fig. 2 is a flowchart of a verification method for a TCAM encapsulation module according to a second embodiment of the present invention, which is a further refinement of the foregoing technical solution, and the technical solution in this embodiment may be combined with one or more of the foregoing embodiments. As shown in fig. 2, the method includes:

s210, obtaining the configuration information of the current ternary content addressable memory encapsulation module TCAM Wrapper.

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 common reference model of the basic verification environment, generating a first method corresponding to each target function, adding the first method to the common reference model, and acquiring the updated common reference model.

The configuration information of the current TCAM Wrapper may further include functions, such as direct table lookup, port number table lookup, and the like. In this embodiment, verification environments corresponding to TCAM Wrapper of different specifications may be obtained in advance, and the same function is extracted from the reference model of each verification environment; thereafter, a set of functions corresponding to the common reference model may be generated based on the extracted functions. Wherein, the function set may include at least one function.

In a specific example, when it is detected that there is a target function that is not included in the function set corresponding to the common reference model in the functions corresponding to the current TCAM Wrapper, the first method corresponding to each target function may be newly added to the common reference model to obtain the updated common reference model. The first method may correspond to an empty method instance, that is, when the method is called, no operation is performed.

And S230, acquiring an updated basic verification environment corresponding to the current TCAM Wrapper according to the updated public reference model.

Specifically, an updated basic verification environment corresponding to the current TCAM Wrapper may be generated based on the updated common reference model and other updated components or original components in the basic verification environment.

S240, obtaining an initial verification environment corresponding to the current TCAM Wrapper.

The content of the initial verification environment may be null, and the corresponding name may be an identifier of the current TCAM Wrapper.

And S250, generating a second method corresponding to each target function, and acquiring a special reference model corresponding to the current TCAM Wrapper according to the second method corresponding to each target function.

In this embodiment, the second method corresponding to the target function may be recompiled, and the second method may be used as a dedicated reference model corresponding to the current TCAM Wrapper. The second method may include a specific method instance, and when the method is executed, the corresponding target function may be implemented. It is noted that the second method may employ the same method name as the first method.

S260, adding the special reference model corresponding to the current TCAM Wrapper into the initial verification environment, and obtaining the special verification environment corresponding to the current TCAM Wrapper.

In this embodiment, a corresponding dedicated reference model may be expanded in an initial verification environment corresponding to the current TCAM Wrapper, and a method corresponding to the target function may be rewritten in the dedicated reference model to implement the target function, so as to obtain the dedicated verification environment corresponding to the current TCAM Wrapper.

In a specific example, if the current TCAM Wrapper is TCAM0 and the target function is direct lookup, a method func is generated in the common reference model, but the method instance is empty. And then, newly adding a corresponding special reference model reference _ model0 in the initial verification environment corresponding to the current TCAM Wrapper, and rewriting a func method in the reference _ model0 to realize a direct table look-up function based on the interface signal. When the function verification is performed based on the verification environment, the verification of the direct table look-up function based on the interface signal can be realized by adopting a mode of overloading reference _ model 0.

Optionally, a method corresponding to an empty method instance may be reserved in the common reference model, and when a target function corresponding to the current TCAM Wrapper is detected, the reservation method may be directly adopted as the first method corresponding to the target function, without a new method. Thereafter, a second method corresponding to the target function may be newly added in the dedicated reference model. At this time, the second method may adopt the same method name as the reservation method.

In this embodiment, by newly 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 multiplexing of the common reference model of the basic verification environment can be realized, and the number of modified codes can be reduced.

S270, verifying the current TCAM Wrapper based on the updated basic verification environment and the special verification environment.

According to the technical scheme of the embodiment of the invention, when the target functions corresponding to a plurality of current TCAM Wrapper are detected not to exist in the function set corresponding to the common reference model of the basic verification environment, a first method corresponding to each target function is generated and added into the common reference model, and the updated common reference model is obtained; then, according to the updated common reference model, acquiring an updated basic verification environment corresponding to the current TCAM Wrapper, and acquiring an initial verification environment corresponding to the current TCAM Wrapper; further, generating a second method corresponding to each target function, and acquiring a special reference model corresponding to the current TCAM Wrapper according to the second method corresponding to each target function; finally, adding the special reference model corresponding to the current TCAM Wrapper into the initial verification environment, obtaining the special verification environment corresponding to the current TCAM Wrapper, and verifying the current TCAM Wrapper based on the updated basic verification environment and the special verification environment; by rewriting the method corresponding to the special function in the special reference model corresponding to the TCAM Wrapper, and verifying the current TCAM Wrapper based on the updated basic verification environment and the special verification environment, the multiplexing of the basic verification environment can be realized, the number of codes to be modified can be reduced, the maintenance cost of the verification environment can be reduced, and the test cost of the TCAM Wrapper can be reduced.

In another optional implementation manner of this embodiment, the obtaining, according to the configuration information of the current TCAM Wrapper and a pre-established basic verification environment, an updated basic verification environment and a dedicated verification environment corresponding to the current TCAM Wrapper may include:

acquiring a public parameter instruction set according to the storage parameter corresponding to the current TCAM Wrapper;

and adding the public parameter instruction set into the initial verification environment to obtain a special verification environment corresponding to the current TCAM Wrapper.

The configuration information of the current TCAM Wrapper may further include storage parameters, such as a storage depth, a data bit width, and the like.

In a specific example, the command macro may be used to define the storage parameters corresponding to the current TCAM Wrapper, so as to generate a common parameter instruction set. The common parameter instruction set may then be added to the initial authentication environment corresponding to the current TCAM Wrapper to obtain the dedicated authentication environment. Components in the common verification environment may make calls to instructions in the common parameter instruction set to obtain the storage parameters.

EXAMPLE III

Fig. 3 is a schematic structural diagram of an apparatus for verifying a TCAM encapsulation module according to a third embodiment of the present invention. As shown in fig. 3, the apparatus includes: a configuration information obtaining module 310, a verification environment obtaining module 320, and a verification executing module 330; wherein the content of the first and second substances,

a configuration information obtaining module 310, configured to obtain configuration information of a current TCAM Wrapper;

a verification environment obtaining module 320, configured to obtain an updated basic verification environment and a dedicated verification environment corresponding to the current TCAM Wrapper according to the configuration information of the current TCAM Wrapper and a pre-established basic verification environment;

a verification execution module 330, configured to verify the current TCAM Wrapper based on the updated basic verification environment and the dedicated verification environment.

According to the technical scheme of the embodiment of the invention, the configuration information of the current Ternary Content Addressable Memory (TCAM) Wrapper is obtained, and the updated basic verification environment and the special verification environment corresponding to the current TCAM Wrapper are obtained according to the configuration information of the current TCAM Wrapper and the pre-established basic verification environment; and then based on updating the basic verification environment and the special verification environment, verifying the current TCAM Wrapper, and when the new specification TCAM Wrapper needs to be verified, only a small amount of modification is needed to be carried out on the basic verification environment by establishing a basic verification environment in advance, so that the multiplexing of the verification environment can be realized, the maintenance cost of the verification environment can be reduced, and the test cost of the TCAM Wrapper can be reduced.

Optionally, the verification apparatus for the TCAM encapsulation module further includes:

and the basic verification environment acquisition module is used for acquiring the configuration information of the TCAM Wrapper with different specifications and acquiring the basic verification environment according to the configuration information of the TCAM Wrapper with different specifications.

Optionally, the verification environment obtaining module 320 includes:

a set updating unit, configured to update, when it is detected that a target signal interface corresponding to at least one current TCAM Wrapper does not exist in a signal interface set corresponding to an interface component of the basic verification environment, a signal interface set corresponding to the interface component according to each target signal interface, and obtain the updated signal interface set;

a signal bit width updating unit, configured to determine whether a signal bit width corresponding to the current TCAM Wrapper is greater than a signal bit width corresponding to the interface component, if yes, update the signal bit width corresponding to the interface component according to the signal bit width corresponding to the current TCAM Wrapper, and obtain an updated signal bit width corresponding to the interface component;

and the update basic verification environment obtaining unit is used for obtaining the update basic verification environment corresponding to the current TCAM Wrapper according to the updated signal interface set and the updated signal bit width corresponding to the interface component.

Optionally, the update basis verification environment obtaining unit includes:

an environment constraint instruction set obtaining subunit, configured to, when it is detected that a target environment constraint corresponding to at least one current TCAM Wrapper does not exist in the environment constraint set of the basic verification environment, obtain, according to each target environment constraint, an environment constraint instruction set corresponding to the current TCAM Wrapper;

and the update basic verification environment obtaining subunit is configured to obtain, according to the updated signal interface set, the updated signal bit width corresponding to the interface component, and the environment constraint instruction set corresponding to the current TCAM Wrapper, an update basic verification environment corresponding to the current TCAM Wrapper.

Optionally, the verification environment obtaining module 320 includes:

a common reference model updating unit, configured to generate, when it is detected that a target function corresponding to at least one current TCAM Wrapper does not exist in a function set corresponding to a common reference model of the basic verification environment, a first method corresponding to each target function, add the first method to the common reference model, and obtain an updated common reference model;

and the update basic verification environment acquisition unit is further configured to acquire an update basic verification environment corresponding to the current TCAM Wrapper according to the updated common reference model.

Optionally, the verification environment obtaining module 320 further includes:

an initial verification environment obtaining unit, configured to obtain an initial verification environment corresponding to the current TCAM Wrapper;

a dedicated reference model obtaining unit, configured to generate a second method corresponding to each target function, and obtain a dedicated reference model corresponding to the current TCAM Wrapper according to the second method corresponding to each target function;

a first dedicated verification environment obtaining unit, configured to 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.

Optionally, the verification environment obtaining module 320 includes:

a common parameter instruction set obtaining unit, configured to obtain a common parameter instruction set according to the storage parameter corresponding to the current TCAM Wrapper;

and the second special verification environment acquisition unit is used for adding the public parameter instruction set into the initial verification environment and acquiring a special verification environment corresponding to the current TCAM Wrapper.

The verification device of the TCAM encapsulation module provided by the embodiment of the invention can execute the verification method of the TCAM encapsulation module provided by any embodiment of the invention, and has corresponding functional modules and beneficial effects of the execution method.

Example four

FIG. 4 illustrates a schematic diagram of an electronic device 40 that may be used to implement an embodiment of the invention. Electronic devices are intended to represent various forms of digital computers, such as laptops, desktops, workstations, personal digital assistants, servers, blade servers, mainframes, and other appropriate computers. The electronic device may also represent various forms of mobile devices, such as personal digital assistants, cellular phones, smart phones, 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 meant to be exemplary only, and are not meant to limit implementations of the inventions described and/or claimed herein.

As shown in fig. 4, the electronic device 40 includes at least one processor 41, and a memory communicatively connected to the at least one processor 41, such as a Read Only Memory (ROM) 42, a Random Access Memory (RAM) 43, and the like, wherein the memory stores a computer program executable by the at least one processor, and the processor 41 may perform various suitable actions and processes according to the computer program stored in the Read Only Memory (ROM) 42 or the computer program loaded from a storage unit 48 into the Random Access Memory (RAM) 43. In the RAM 43, various programs and data necessary for the operation of the electronic apparatus 40 can also be stored. The processor 41, the ROM 42, and the RAM 43 are connected to each other via a bus 44. An input/output (I/O) interface 45 is also connected to bus 44.

A number of components in the electronic device 40 are connected to the I/O interface 45, including: an input unit 46 such as a keyboard, a mouse, etc.; an output unit 47 such as various types of displays, speakers, and the like; a storage unit 48 such as a magnetic disk, an optical disk, or the like; and a communication unit 49 such as a network card, modem, wireless communication transceiver, etc. The communication unit 49 allows the electronic device 40 to exchange information/data with other devices via a computer network such as the internet and/or various telecommunication networks.

Processor 41 may be a variety of general 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 specialized Artificial Intelligence (AI) computing chips, various processors running machine learning model algorithms, a Digital Signal Processor (DSP), and any suitable processor, controller, microcontroller, or the like. Processor 41 performs the various methods and processes described above, such as the verification method of the TCAM encapsulation module.

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

Various implementations of the systems and techniques described here above may be implemented in digital electronic circuitry, integrated circuitry, field Programmable Gate Arrays (FPGAs), application Specific Integrated Circuits (ASICs), application Specific Standard Products (ASSPs), system on a chip (SOCs), load programmable logic devices (CPLDs), computer hardware, firmware, software, and/or combinations thereof. These various embodiments may include: implemented in one or more computer programs that are executable and/or interpretable on a programmable system including at least one programmable processor, which may be special or general purpose, receiving data and instructions from, and transmitting data and instructions to, a storage system, at least one input device, and at least one output device.

Computer programs for implementing the methods of the present invention can 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, special purpose computer, or other programmable data processing apparatus, such that the computer programs, when executed by the processor, cause the functions/acts specified in the flowchart and/or block diagram block or blocks to be performed. A computer program can execute entirely on a machine, partly on a machine, as a stand-alone software package partly on a machine and partly on a remote machine or entirely on a remote machine or server.

In the context of the present invention, a computer-readable storage medium may be a tangible medium that can contain, or store a computer program for use by or in connection with an instruction execution system, apparatus, or device. A computer readable storage medium may include, but is not limited to, an electronic, magnetic, optical, electromagnetic, infrared, or semiconductor system, apparatus, or device, or any suitable combination of the foregoing. Alternatively, the computer readable storage medium may be a machine readable signal medium. More specific examples of a machine-readable storage medium would include an electrical connection based on one or more wires, a portable computer diskette, a hard disk, a Random Access Memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or flash memory), an optical fiber, a compact disc read-only memory (CD-ROM), an optical storage device, a magnetic storage device, or any suitable combination of the foregoing.

To provide for interaction with a user, the systems and techniques described here 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 a user; and a keyboard and a pointing device (e.g., a mouse or a trackball) by which a user can provide input to the electronic device. Other kinds of devices may also be used to provide for interaction with a 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 acoustic, speech, or tactile input.

The systems and techniques described here can be implemented in a computing system that includes a back-end component (e.g., as a data server), or that includes a middleware component (e.g., an application server), or that includes a front-end component (e.g., a user computer having a graphical user interface or a web browser through which a user can interact with an implementation of the systems and techniques described here), or any combination of such back-end, middleware, or front-end components. The components of the system can be interconnected by any form or medium of digital data communication (e.g., a communication network). Examples of communication networks include: local Area Networks (LANs), wide Area Networks (WANs), blockchain networks, and the internet.

The computing system may include clients and servers. A client and server are generally remote from each other and typically interact through a communication network. The relationship of client and server arises by virtue of computer programs running on the respective computers and having a client-server relationship to each other. The server can be a cloud server, also called a cloud computing server or a cloud host, and is a host product in a cloud computing service system, so that the defects of high management difficulty and weak service expansibility in the traditional physical host and VPS service are overcome.

It should be understood that various forms of the flows shown above, reordering, adding or deleting steps, may be used. For example, the steps described in the present invention may be executed in parallel, sequentially, or in different orders, and are not limited herein as long as the desired results of the technical solution of the present invention can be achieved.

The above-described embodiments should not be construed as limiting the scope of the invention. It should be understood by those skilled in the art that various modifications, combinations, sub-combinations and substitutions may be made, depending on design requirements and other factors. Any modification, equivalent replacement, and improvement made within the spirit and principle of the present invention should be included in the protection scope of the present invention.

Claims

1. A verification method for a TCAM encapsulation module is characterized by comprising the following steps:

acquiring configuration information of a current TCAM Wrapper;

2. The method of claim 1, wherein before obtaining the updated basic verification environment and the dedicated verification environment corresponding to the current TCAM Wrapper according to the configuration information of the current TCAM Wrapper and the pre-established basic verification environment, the method further comprises:

and acquiring configuration information of TCAM rappers in different specifications, and acquiring a basic verification environment according to the configuration information of the TCAM rappers in different specifications.

3. The method of claim 1, wherein obtaining the updated basic verification environment corresponding to the current TCAM Wrapper according to the configuration information of the current TCAM Wrapper and a pre-established basic verification environment comprises:

when detecting that at least one target signal interface corresponding to the current TCAM Wrapper does not exist in a signal interface set corresponding to an interface component of the basic verification environment, updating the signal interface set corresponding to the interface component according to each target signal interface to obtain the updated signal interface set;

4. The method of claim 3, wherein obtaining the updated basic verification environment corresponding to the current TCAM Wrapper according to the updated signal interface set and the updated signal bit width corresponding to the interface component comprises:

5. The method of claim 1, wherein obtaining an updated basic verification environment and a dedicated verification environment corresponding to the current TCAM Wrapper according to configuration information of the current TCAM Wrapper and a pre-established basic verification environment comprises:

when it is detected that at least one target function corresponding to the current TCAM Wrapper does not exist in a function set corresponding to a common reference model of the basic verification environment, generating a first method corresponding to each target function, adding the first method into the common reference model, and acquiring an updated common reference model;

and acquiring an updated basic verification environment corresponding to the current TCAM Wrapper according to the updated public reference model.

6. The method of claim 5, after obtaining the updated basic verification environment corresponding to the current TCAM Wrapper according to the updated common reference model, further comprising:

acquiring an initial verification environment corresponding to the current TCAM Wrapper;

generating a second method corresponding to each target function, and acquiring a special reference model corresponding to the current TCAM Wrapper according to the second method corresponding to each target function;

and adding the special reference model corresponding to the current TCAM Wrapper into the initial verification environment to obtain the special verification environment corresponding to the current TCAM Wrapper.

7. The method of claim 6, wherein obtaining the updated basic verification environment and the dedicated verification environment corresponding to the current TCAM Wrapper according to the configuration information of the current TCAM Wrapper and a pre-established basic verification environment comprises:

8. An apparatus for verifying a TCAM encapsulation module, comprising:

the configuration information acquisition module is used for acquiring the configuration information of the current ternary content addressable memory encapsulation module TCAM Wrapper;

a verification environment obtaining module, configured to obtain, according to the configuration information of the current TCAM Wrapper and a pre-established basic verification environment, an updated basic verification environment and a dedicated verification environment corresponding to the current TCAM Wrapper;

9. An electronic device, characterized in that the electronic device comprises:

at least one processor; and

the memory stores a computer program executable by the at least one processor, the computer program being executable by the at least one processor to enable the at least one processor to perform a method of authenticating a TCAM encapsulation module according to any of claims 1-7.

10. A computer-readable storage medium having stored thereon computer instructions for causing a processor to perform a method of validating a TCAM encapsulation module according to any one of claims 1 to 7.