Method and device for verifying function coverage rate of chip, equipment and medium

Abstract

The invention provides a method, device and equipment for verifying the function coverage rate of a chip and a medium, and the method comprises the steps: carrying out the data processing and extraction of a to-be-tested chip through a script containing a set parameter, and generating a corresponding function coverage rate file; and integrating the function coverage rate file into a verification environment through the script so as to verify the coverage rate of the chip to be tested. According to the technical scheme, the register signal of the chip to be tested is extracted by adopting the script containing the set parameters, the corresponding function coverage file is generated and integrated into the verification environment, automatic collection and verification of the function coverage can be rapidly and accurately carried out, and compared with a verification mode needing understanding of verification personnel in transmission verification, the verification efficiency is greatly improved. By adopting the script, standardization of function coverage rate verification of the chip can be realized, and real function point verification completeness can be reflected through the register function coverage rate.

Description

Technical Field

[0001] The present invention relates to the field of chip verification, and in particular to a method, device, equipment and medium for performing functional coverage verification on a chip. Background Art

[0002] In digital chip verification, coverage is an important indicator to measure the progress of verification. Verifiers generally collect coverage in the later stage of chip verification to form quantitative guidance on the degree of completion of RTL design and the progress of verification work. Usually, coverage is divided into code coverage and functional coverage. Code coverage is an indicator to measure whether the RTL code has been fully tested by the verification case. It includes line coverage, condition coverage, state machine coverage, etc. Compared with code coverage, functional coverage is more important. It measures the degree of implementation of the RTL code written by the designer relative to the design specification (spec). It is a quantification of whether the RTL correctly and comprehensively implements the design intent. It can check the functional points split from the main functions, interface requirements, protocol specifications, etc. of the RTL module. At the same time, functional coverage can also provide guidance for the completeness of verification work.

[0003] However, since the process of writing functional coverage by verifiers is usually time-consuming and there is no fixed standard, verifiers usually write corresponding functional coverage for the functions of concern based on their understanding of the design spec. As a result, the functional verification strategy formulated for RTL is often not perfect, and even affects the convergence of chip verification work. It also makes it difficult to quantify the degree of implementation of the design spec by RTL.

[0004] Therefore, there is an urgent need for a method, device, equipment and medium for verifying the functional coverage of a chip to improve the above-mentioned problems. Summary of the invention

[0005] The purpose of the present invention is to provide a method, device, equipment and medium for verifying the functional coverage of a chip, which can realize fast and accurate automatic collection and verification of functional coverage.

[0006] In a first aspect, the present invention provides a method for verifying the functional coverage of a chip, comprising: Use scripts with set parameters to process and extract data from the chip under test and generate corresponding functional coverage files; The function coverage file is integrated into the verification environment through the script to perform coverage verification on the chip to be tested.

[0007] The method of the present invention has the following beneficial effects: by using a script containing set parameters to process and extract data of the chip to be tested, and generate a corresponding function coverage file; by using the script to integrate the function coverage file into the verification environment, the coverage verification of the chip to be tested is performed. The script containing set parameters is used to extract the register signal of the chip to be tested, and the corresponding function coverage file is generated. After being integrated into the verification environment, the function coverage can be collected and verified automatically and quickly and accurately. Compared with the verification method based on the understanding of the verification personnel in the transmission verification, the script can realize the standardization of the function coverage verification of the chip, and can ensure that the register function coverage reflects the real function point verification completeness.

[0008] Optionally, generate the corresponding function coverage file including: Generate a coverage group for each module, define an element for each register in the module, and define multiple intervals to cover specific values, so that coverage collection and verification can be achieved through hierarchical references later. The beneficial effect is that by generating a coverage group for each module, defining an element for each register in the module, and defining multiple intervals to cover specific values, the efficiency and accuracy of coverage collection and verification can be improved.

[0009] Optionally, performing coverage verification on the chip to be tested includes: Instantiate the functional coverage module and set the sampling time point to collect coverage; and perform verification based on the collected coverage to generate corresponding verification results; And / or the verification result includes the triggering times and ratios of the intervals in each element, and the coverage of all automatically generated intervals in the cross-coverage definition. Its beneficial effect is that the functional coverage module is instantiated and the sampling time point is set to collect coverage, ensuring that the coverage can reflect that the functional use cases of the module actually cover the functions of certain registers, and ensuring the accuracy of the functional coverage verification; verification is performed based on the collected coverage, generating the triggering times and ratios of the intervals in each corresponding element, and the coverage of all automatically generated intervals in the cross-coverage definition, which can facilitate intuitive reflection of the verification of the functional coverage.

[0010] Optionally, the sampling time point is the time point when the enable signal is detected. The beneficial effect is that by using the time point of the enable signal as the sampling time point, it can further ensure that the coverage can reflect that the functional use case of the module truly covers the functions of certain registers, thereby ensuring the accuracy of the functional coverage verification.

[0011] Optionally, the script is a Python script; and / or the setting parameters include a first parameter, a second parameter and a third parameter; Wherein, the first parameter is used to specify the RTL register file to be processed; The second parameter is used to indicate the hierarchical relationship of the RTL register in the DUT; The third parameter is used to specify the name of the generated cover group module. Its beneficial effect is that it uses Python scripts with strong compatibility and is easy to automate verification. It uses setting parameters containing hierarchical relationships, can directly collect coverage of the RTL registers of the chip through hierarchical references, and can also avoid false coverage caused by separate register test cases, ensuring that the register function coverage reflects the true function point verification completeness.

[0012] Optionally, processing and extracting data for the chip under test includes: processing and extracting data for the RTL register module of the chip under test. The beneficial effect is that by using the script to process and extract data for the RTL register module of the chip under test, it is possible to quickly and accurately collect and verify functional coverage, and it is easy to maintain and iterate.

[0013] Optionally, integrating the function coverage file into the verification environment through the script includes: The function coverage file is integrated into the verification environment by using the include statement in the script. The beneficial effect is that the modularity, maintainability, readability and flexibility of the code can be improved, and the updating and expansion process of the code can be simplified.

[0014] In a second aspect, the present invention provides an apparatus for verifying the functional coverage of a chip, the apparatus comprising modules / units for executing any possible design method of the first aspect. These modules / units can be implemented by hardware, or by executing corresponding software implementations by hardware.

[0015] In a third aspect, the present invention provides an electronic device, comprising a memory and a processor, wherein the memory stores a program that can be run on the processor, and when the program is executed by the processor, the electronic device implements a method for executing any possible design of any of the above aspects.

[0016] In a fourth aspect, the present invention provides a readable storage medium, wherein the readable storage medium stores a program, and when the program is executed, it implements any possible design method of any of the above aspects.

[0017] For the beneficial effects of the second to fourth aspects, reference may be made to the description of the first aspect. BRIEF DESCRIPTION OF THE DRAWINGS

[0018] Figure 1 A schematic diagram of a flow chart of a method for verifying the functional coverage of a chip provided by an embodiment of the present invention; Figure 2 A schematic diagram of the structure of a device for verifying the functional coverage of a chip provided by an embodiment of the present invention; Figure 3 A schematic diagram of the structure of an electronic device provided by an embodiment of the present invention; Figure 4 A schematic diagram of a flow chart of a method for verifying the functional coverage of a chip based on a Python script according to an embodiment of the present invention; Figure 5 A schematic diagram of an example of function coverage collection provided in an embodiment of the present invention. DETAILED DESCRIPTION

[0019] In order to make the purpose, technical solutions and advantages of the present invention clearer, the technical solutions in the embodiments of the present invention will be clearly and completely described below in conjunction with the drawings of the present invention. Obviously, the described embodiments are part of the embodiments of the present invention, rather than all of the embodiments. Based on the embodiments of the present invention, all other embodiments obtained by ordinary technicians in this field without creative work are within the scope of protection of the present invention. Unless otherwise defined, the technical terms or scientific terms used herein should be understood by people with general skills in the field to which the present invention belongs. "Including" and similar words used in this article mean that the elements or objects appearing before the word include the elements or objects listed after the word and their equivalents, without excluding other elements or objects.

[0020] In view of the inconvenience of current functional coverage verification, the method for functional coverage verification of a chip provided by the present invention can realize the automatic collection and verification of functional coverage quickly and accurately. The technical scheme in the embodiment of the present invention is described below in conjunction with the drawings in the embodiment of the present invention. Among them, in the description of the embodiment of the present invention, the terms used in the following embodiments are only for the purpose of describing specific embodiments, and are not intended to be used as limitations on the present invention. The singular expressions "a", "said", "above", "the" and "this" are intended to also include expressions such as "one or more", unless there is a clear contrary indication in the context. It should also be understood that in the following embodiments of the present invention, "at least one", "one or more" refer to one or more than two (including two). The term "and / or" is used to describe the association relationship of associated objects, indicating that three relationships can exist; for example, A and / or B can represent: A exists alone, A and B exist at the same time, and B exists alone, where A and B can be singular or plural. The character " / " generally indicates that the objects associated before and after are in an "or" relationship.

[0021] References to "one embodiment" or "some embodiments" described in this specification mean that one or more embodiments of the present invention include specific features, structures or characteristics described in conjunction with the embodiment. Thus, the statements "in one embodiment", "in some embodiments", "in some other embodiments", and "in some other embodiments" that appear in different places in this specification do not necessarily refer to the same embodiment, but mean "one or more but not all embodiments", unless otherwise specifically emphasized in other ways. The terms "including", "comprising", "having" and their variations all mean "including but not limited to", unless otherwise specifically emphasized in other ways. The term "connected" includes direct and indirect connections, unless otherwise stated. "First" and "second" are used for descriptive purposes only and are not to be understood as indicating or implying relative importance or implicitly indicating the number of technical features indicated.

[0022] In the embodiments of the present invention, "exemplarily" or "for example" is used to indicate an example, illustration or description. Any embodiment or design described as "exemplarily" or "for example" in the embodiments of the present invention should not be interpreted as being more preferred or more advantageous than other embodiments or designs. Specifically, the use of "exemplarily" or "for example" is intended to present the relevant concepts in a specific way.

[0023] like Figure 1 As shown, the present invention provides a method for verifying the functional coverage of a chip, comprising: S101, using a script containing set parameters to process and extract data from the chip under test, and generate a corresponding function coverage file.

[0024] In some embodiments, the script is a Python script, which has strong compatibility and is convenient for automated verification.

[0025] In some embodiments, in order to be able to directly collect coverage of the RTL registers of the chip through hierarchical references and avoid false coverage caused by separate register test cases, and ensure that the register function coverage reflects the true function point verification completeness, the setting parameters include a first parameter, a second parameter and a third parameter; wherein the first parameter is used to indicate the RTL register file to be processed; the second parameter is used to indicate the hierarchical relationship of the RTL register in the DUT; the third parameter is used to indicate the name of the generated coverage group module. Preferably, the first parameter is the -f parameter, the second parameter is the -path parameter, and the third parameter is the -m parameter.

[0026] In some embodiments, in order to achieve fast and accurate collection and verification of functional coverage, and to facilitate maintenance and iteration, data processing and extraction of the chip under test includes: data processing and extraction of the RTL register module of the chip under test.

[0027] In some embodiments, in order to improve the efficiency and accuracy of subsequent coverage collection and verification through hierarchical references, generating corresponding functional coverage files includes: generating a covergroup for each module, defining an element (coverpoint) for each register in the module, and covering specific values ​​by defining multiple intervals (bins), so as to subsequently implement coverage collection and verification through hierarchical references.

[0028] S102, integrating the functional coverage file into a verification environment through the script to perform coverage verification on the chip under test.

[0029] In some embodiments, in order to improve the modularity, maintainability, readability and flexibility of the code, and at the same time simplify the code update and expansion process, integrating the functional coverage file into the verification environment through the script includes: integrating the functional coverage file into the verification environment using the include statement through the script.

[0030] In some embodiments, in order to ensure that the coverage can reflect that the functional use cases of the module truly cover the functions of certain registers, ensure the accuracy of the functional coverage verification, and facilitate the intuitive reflection of the functional coverage verification status, the coverage verification of the chip to be tested includes: instantiating the functional coverage module and setting the sampling time point to collect coverage; and verifying based on the collected coverage to generate corresponding verification results; and / or the verification results include the number and proportion of triggering intervals (bins) in each element (coverpoint), as well as the coverage of all automatically generated intervals (bins) in the cross-coverage definition.

[0031] In some specific embodiments, in order to further ensure that the coverage can reflect that the functional use cases of the module truly cover the functions of certain registers and ensure the accuracy of the functional coverage verification, the sampling time point is the time point when the enable signal is detected.

[0032] The advantage of the embodiments of the present invention is that, compared with the verification method based on the understanding of the verification personnel in the transmission verification, the use of scripts can realize the standardization of the functional coverage verification of the chip, and can ensure that the real function point verification completeness is reflected through the register functional coverage. By generating a coverage group for each module, defining an element for each register in the module, and defining multiple intervals to cover specific values, the efficiency and accuracy of subsequent coverage collection and verification through hierarchical references can be improved, the functional coverage module is instantiated and the sampling time point is set to collect coverage, ensuring that the coverage can reflect that the functional use cases of the module actually cover the functions of certain registers, thereby ensuring the accuracy of the functional coverage verification.

[0033] For ease of understanding, this embodiment further describes the specific implementation process of the above method in combination with a specific application scenario system. Figure 4 and Figure 5 As shown, the specific steps include: Step a, first use the Python script to process and extract the RTL register module. The script has three command parameters: (1) -f parameter is used to specify the RTL register file to be processed; (2) -path parameter, used to specify the hierarchical relationship of RTL registers in the DUT; (3) The -m parameter is used to specify the name of the generated cover group module.

[0034] Step b, based on the functional coverage file generated in the previous step, a covergroup is generated for each module. There is an element (coverpoint) for each register in the module. Multiple intervals (bins) are defined in the coverpoint to cover specific values. After the file is generated, use the include statement to integrate it into the verification environment.

[0035] Step c, after instantiating the functional coverage module, you need to set a suitable sampling time point for it. For example, you can collect coverage after detecting the module enable signal to ensure that the coverage can reflect that the functional use cases of the module truly cover the functions of certain registers.

[0036] Step d: For some important or related registers of RTL, the coverage model can be changed using SV syntax, such as adopting the definition of cross coverage between the coverage points of some important registers.

[0037] Step e, by running some functional test cases, you can see in tools such as Verdi that after the sampling point, the register function coverage automatically starts to be collected, and the final coverage is as follows Figure 5 As shown, the tool lists in detail the number and proportion of triggers in each element (coverpoint) interval (bin), and also lists the coverage of all automatically generated intervals (bins) in the cross-coverage definition.

[0038] The advantage of the embodiment of the present invention is that the method of using Python script to verify the functional coverage of the chip quickly and efficiently generates the corresponding functional coverage code through the module register, so that the coverage of the RTL module function points in all use case regression tests can be effectively quantified and checked in the later stage of verification, and the direct collection of coverage of the RTL registers through hierarchical references can also avoid the false coverage caused by the separate register test cases, ensuring that the real function point verification completeness is reflected by the register functional coverage. Moreover, the method of the present invention only needs to give the RTL register file to automatically generate the functional coverage code, which greatly improves the verification efficiency based on the RTL implementation degree of the design spec. If the RTL module is modified, it can also be re-generated using the script, so that the chip verification work can converge quickly. Due to the easy combination of coverage points, based on this method, a method suitable for generating more complex functional coverage can also be developed.

[0039] like Figure 2As shown, based on the above-mentioned method for verifying the functional coverage of a chip, the present invention provides an apparatus for verifying the functional coverage of a chip, comprising: a processing unit 201, used to process and extract data of the chip to be tested using a script containing set parameters, and generate a corresponding functional coverage file; a verification unit 202, used to integrate the functional coverage file into a verification environment through the script to perform coverage verification on the chip to be tested. Exemplarily, an apparatus for performing functional coverage verification on a chip includes a processing unit 201, which is used to process and extract data from an RTL register module of a chip under test using a Python script containing set parameters, and generate a covergroup for each module, define an element (coverpoint) for each register in the module, and cover specific values ​​by defining multiple intervals (bins) so as to collect and verify coverage through hierarchical references later, wherein the set parameters include a first parameter, a second parameter, and a third parameter; wherein the first parameter is used to specify an RTL register file to be processed; the second parameter is used to specify a hierarchical relationship of RTL registers in a DUT; the third parameter is used to specify a name for generating a covergroup module, and a verification unit 202 is used to include the function register file into the Python script using an include statement. The coverage file is integrated into the verification environment to instantiate the functional coverage module and set the sampling time point for coverage collection; and verification is performed based on the collected coverage to generate corresponding verification results; the verification results include the triggering times and proportions of the bins in each element (coverpoint), and the coverage of all automatically generated bins in the cross-coverage definition. The method of using Python scripts to verify the functional coverage of the chip quickly and efficiently generates the corresponding functional coverage code through the module registers, so that the coverage of the RTL module function points in all use case regression tests can be effectively quantified and checked in the later stage of verification. Moreover, directly collecting the coverage of the RTL registers through hierarchical references can avoid false coverage caused by separate register test cases, ensuring that the real function point verification completeness is reflected through the register functional coverage.

[0040] It should be understood that all relevant contents of each step involved in the above method embodiment can be referred to the functional description of the corresponding functional module, which will not be repeated here. In addition, the use of suffixes such as "module", "component" or "unit" used to represent elements is only for the purpose of facilitating the description of the present invention, and has no specific meaning in itself. Therefore, "module", "component" or "unit" can be used in a mixed manner. The terminal can be implemented in various forms. For example, the terminal described in the present invention may include mobile terminals such as mobile phones, tablet computers, laptops, PDAs, portable media players (PMP), navigation devices, wearable devices, smart bracelets, pedometers, and fixed terminals such as digital TVs and desktop computers. The subsequent description will be described by taking the mobile terminal as an example, and those skilled in the art will understand that, in addition to components specifically used for mobile purposes, the construction according to the embodiment of the present invention can also be applied to fixed types of terminals.

[0041] In some other embodiments of the present invention, an electronic device 300 is disclosed. Figure 3 As shown, it may include: one or more processors 301; memory 302; display 303; one or more applications (not shown); and one or more computer programs 304. The above-mentioned components may be connected via one or more communication buses 305. The one or more computer programs 304 are stored in the above-mentioned memory 302 and configured to be executed by the one or more processors 301. The one or more computer programs 304 include instructions, which may be used to execute the following instructions: Figure 1 The various steps in the corresponding embodiments.

[0042] The processor 301 may be a central processing unit (CPU), or other general-purpose processors, digital signal processors (DSP), application-specific integrated circuits (ASIC), field-programmable gate arrays (FPGA), or other programmable logic devices, discrete gate or transistor logic devices, discrete hardware components, etc. A general-purpose processor may be a microprocessor or the processor may be any conventional processor, etc.

[0043] The memory 302 may be an internal storage unit of the electronic device 300, such as a hard disk or memory of the electronic device 300. The memory 302 may also be an external storage device of the electronic device 300, such as a plug-in hard disk, a smart memory card (SmartMediaCard, SMC), a secure digital (SecureDigital, SD) card, a flash card (FlashCard), etc. equipped on the electronic device 300. Further, the memory 302 may also include both an internal storage unit of the electronic device 300 and an external storage device. The memory 302 is used to store computer programs and other programs and data required by the electronic device. The memory 302 may also be used to temporarily store data that has been output or is to be output.

[0044] The computer program 304 may be divided into one or more modules / units. The one or more modules / units may be a series of computer program instruction segments capable of performing specific functions. The instruction segments are used to describe the execution process of the computer program 304 in the electronic device 300 .

[0045] In addition to the above structure, those skilled in the art can understand that Figure 3 It is only an example of the electronic device 300 and does not constitute a limitation of the electronic device 300. The electronic device 300 may include more or fewer components than shown in the figure, or a combination of certain components, or different components. For example, the electronic device may also include input and output devices, network access devices, buses, etc.

[0046] Those skilled in the art can clearly understand that for the convenience and simplicity of description, only the division of the above-mentioned functional units and modules is used as an example for illustration. In practical applications, the above-mentioned function allocation can be completed by different functional units and modules as needed, that is, the internal structure of the device can be divided into different functional units or modules to complete all or part of the functions described above. The functional units and modules in the embodiment can be integrated into a processing unit, or each unit can exist physically separately, or two or more units can be integrated into one unit. The above-mentioned integrated unit can be implemented in the form of hardware or in the form of software functional units. In addition, the specific names of the functional units and modules are only for the convenience of distinguishing each other, and are not used to limit the scope of protection of the present invention. The specific working process of the units and modules in the above-mentioned system can refer to the corresponding process in the aforementioned method embodiment, which will not be repeated here.

[0047] Based on the above embodiments, the present invention further discloses a computer-readable storage medium having at least one computer program stored thereon, and when the computer program is executed by a processor, the method for verifying the functional coverage of a chip in the above embodiments is implemented.

[0048] A person of ordinary skill in the art can understand that all or part of the steps in the method for implementing the above embodiment can be completed by instructing the processor through a program, and the program can be stored in a computer-readable storage medium, and the storage medium is a non-transitory medium, such as a random access memory, a read-only memory, a flash memory, a hard disk, a solid-state hard disk, a magnetic tape, a floppy disk, an optical disk, and any combination thereof. The above storage medium can be any available medium that can be accessed by a computer or a data storage device such as a server or a data center that includes one or more available media. The available medium can be a magnetic medium (e.g., a floppy disk, a hard disk, a tape), an optical medium (e.g., a digital video disc (DVD)), or a semiconductor medium (e.g., a solid-state disk (SSD)), etc.

[0049] The descriptions of the processes or structures corresponding to the above-mentioned figures have different emphases. For parts that are not described in detail in a certain process or structure, please refer to the relevant descriptions of other processes or structures.

[0050] In summary, the method, device, equipment and medium for functional coverage verification of a chip disclosed in the present invention use a script containing set parameters to extract the register signal of the chip to be tested and generate a corresponding functional coverage file. After being integrated into the verification environment, it can quickly and accurately perform automatic collection and verification of functional coverage. Compared with the verification method based on the understanding of the verification personnel in transmission verification, the use of scripts can realize the standardization of functional coverage verification of chips, and can ensure that the register functional coverage reflects the true functional point verification completeness. By generating a coverage group for each module, defining an element for each register in the module, and defining multiple intervals to cover specific values, the efficiency and accuracy of subsequent coverage collection and verification through hierarchical references can be improved. The functional coverage module is instantiated and the sampling time point is set to collect coverage, ensuring that the coverage can reflect that the functional use case of the module actually covers the functions of certain registers, thereby ensuring the accuracy of functional coverage verification; verification is performed based on the collected coverage, and the corresponding number of triggering intervals in each element is generated. and proportion, as well as the coverage of all automatically generated intervals in the cross-coverage definition, can easily and intuitively reflect the verification of the functional coverage rate. Using the time point of the enable signal as the adoption time point can further ensure that the coverage rate can reflect that the functional use cases of the module actually cover the functions of certain registers, thereby ensuring the accuracy of the functional coverage rate verification. The Python script is used, which has strong compatibility and is convenient for automated verification. The setting parameters containing hierarchical relationships can be used to directly collect the coverage rate of the RTL registers of the chip through hierarchical references. It can also avoid false coverage caused by separate register test cases, ensuring that the register functional coverage rate reflects the true functional point verification completeness. The script is used to process and extract data for the RTL register module of the chip under test, which can realize fast and accurate collection and verification of functional coverage, and is easy to maintain and convenient to iterate. The script uses the include statement to integrate the functional coverage file into the verification environment, which can improve the modularity, maintainability, readability and flexibility of the code, and simplify the code update and expansion process.

[0051] The above descriptions are merely embodiments of the present invention and are not intended to limit the patent scope of the present invention. Any equivalent transformations made using the contents of the present invention's specification and drawings, or directly or indirectly applied in related technical fields, are also included in the patent protection scope of the present invention.

Claims

1. A method for verifying the functional coverage of a chip, characterized in that: include: Use scripts with set parameters to process and extract data from the chip under test and generate corresponding functional coverage files; The function coverage file is integrated into the verification environment through the script to perform coverage verification on the chip to be tested.

2. The method according to claim 1, characterized in that Generate the corresponding function coverage file including: Generate a coverage group for each module, define an element for each register in the module, and define multiple intervals to cover specific values ​​so that coverage can be collected and verified later through hierarchical references.

3. The method according to claim 2, characterized in that Coverage verification of the chip under test includes: Instantiate the functional coverage module and set the sampling time point to collect coverage; and perform verification based on the collected coverage to generate corresponding verification results; And / or the verification result includes the triggering times and proportions of intervals in each element, and the coverage of all automatically generated intervals in the cross-coverage definition.

4. The method according to claim 3, characterized in that The sampling time point is the time point when the enable signal is detected.

5. The method according to claim 1, characterized in that The script is a Python script; and / or the setting parameters include a first parameter, a second parameter and a third parameter; Wherein, the first parameter is used to specify the RTL register file to be processed; The second parameter is used to indicate the hierarchical relationship of the RTL register in the DUT; The third parameter is used to specify the name of the generated cover group module.

6. The method according to claim 1, characterized in that Data processing and extraction of the chip under test include: Perform data processing and extraction on the RTL register module of the chip under test.

7. The method according to any one of claims 1 to 6, characterized in that: Integrating the functional coverage file into the verification environment through the script includes: The functional coverage file is integrated into the verification environment by the script using an include statement.

8. A device for verifying the functional coverage of a chip, used in the method according to any one of claims 1 to 7, characterized in that: include: A processing unit, used for processing and extracting data from the chip under test using a script containing set parameters, and generating a corresponding function coverage file; A verification unit is used to integrate the functional coverage file into a verification environment through the script to perform coverage verification on the chip to be tested.

9. An electronic device, characterized in that: The electronic device comprises a memory and a processor, wherein the memory stores a program executable on the processor, and when the program is executed by the processor, the electronic device implements the method according to any one of claims 1 to 7.

10. A readable storage medium, wherein a program is stored in the readable storage medium, characterized in that: When the program is executed, the method according to any one of claims 1 to 7 is implemented.

Images