TW202427257A - Method for generating register verification code file and integrated circuit design verification system applied to an integrated circuit design verification system comprising a verification platform and a control unit - Google Patents

Abstract

The present invention mainly discloses a method for generating a register verification code file, which is applied to an integrated circuit design verification system comprising a verification platform and a control unit, and is implemented by the control unit. The method for generating a register verification code file includes: obtaining a register description file; and, after performing a content inspection operation on the register description file, generating a register verification code file based on the register description file. In the case of applying the method of the present invention, it can automatically check whether the content of the register description file is correct before generating the register verification code file, and in the case of erroneously filling some of the content, it can automatically generate a correct register verification code file and test case. Subsequently, after generating a RAL model based on the register verification code file, the control unit uses the RAL model, the test case and the verification platform to complete simulation verification of a circuit module under test (DUT).

Description

Register verification code file generation method and integrated circuit design verification system

The present invention relates to the technical field of integrated circuit design verification, and more particularly to a method for generating a register verification code file.

As the functional requirements for integrated circuit chips in consumer electronics and automotive electronics continue to increase, the scale of circuit integration contained in integrated circuit chips is getting larger and larger, resulting in higher and higher circuit complexity. Therefore, as the scale of circuit integration becomes larger and larger, an integrated circuit chip usually contains multiple circuit modules, which are designed by different engineers. Electronic engineers who are familiar with the design and development of integrated circuit chips should know that the project development of an integrated circuit chip includes the following stages: product planning stage, design and simulation verification stage, design flow stage, and chip manufacturing and testing stage. In the design and simulation verification stage, engineers first use Verilog to complete the RTL circuit design (i.e., RTL coding) of the circuit module they are responsible for designing, and then use an integrated circuit design verification system to perform simulation verification to check the correctness of the RTL coding.

Specifically, an integrated circuit chip contains a plurality of registers that serve as the interactive interface between a plurality of circuit modules. Therefore, when performing simulation verification on a specific circuit module, it is usually performed by: (1) confirming the current state of the circuit module under test (DUT) by reading the current value of the register; and/or (2) configuring the register so that the circuit module under test works in a certain mode. Therefore, in a single simulation verification process, one or more registers must be read and written multiple times.

At present, the existing technology has realized the automation of register verification. For example, there is currently a register automation verification method that can reduce the workload of verification engineers to a certain extent. In the known register automation verification method, the user (i.e., system engineer) is responsible for filling out an Excel document of a register description file, and then using a code file to generate a script to generate a register verification code file (.ralf) based on the register description file, and then generating a RAL model (.sv) based on the register verification code file, and finally the verification platform (test bench) performs simulation verification on a specific circuit module through the RAL model. However, practical experience shows that since the register description file is filled out by the system engineer, it is inevitable that the register description file will contain erroneous content.

For example, the data width and address range of a register are 8 bits and 16 bits respectively, but when the system engineer fills in the description file of the register, he fills in the wrong value of the data width or address range. For another example, in practice, a single register can be divided into multiple register domains, and different domains often represent a certain independent function, such as: WO (write-only), RO (read-only), RW (read and write), or Reserved. Therefore, when filling in the bit header and bit tail (i.e., the start bit and the end bit) of each domain, it is also very easy to make human errors, such as filling in discontinuously.

It is easy to imagine that if there is a design requirement to group thousands of registers into a register module, the system engineer will inevitably encounter a lot of errors after editing the register description file of the register module. In this case, even if the code file generation script can still successfully generate a register verification code file (.ralf) based on the register description file, the register verification code file is obviously not correct, resulting in the RAL model generated in the end not 100% corresponding to the hardware registers contained in the integrated circuit under test (DUT). In this case, whether the result of the simulation verification is pass or fail is meaningless.

From the above description, it can be seen that a new register verification code file generation method is urgently needed in the field.

The main purpose of the present invention is to provide a register verification code file generation method, which is applied to an integrated circuit design verification system including a verification platform and a control unit. When the method of the present invention is applied, it is possible to automatically check whether the content of the register description file (such as Excel) is correct before generating the register verification code file, and when there are partial errors in the Excel content, the correct register verification code file and test case are automatically generated. Subsequently, after a RAL model (.sv) is generated according to the register verification code file, the control unit uses the RAL model, the test case file and the verification platform to complete the simulation verification of a circuit module under test (DUT).

To achieve the above-mentioned purpose, the present invention proposes an embodiment of the register verification code file generation method, which is applied to an integrated circuit design verification system including a verification platform and a control unit, and is executed by the control unit; the register verification code file generation method includes: Obtaining a register description file; and After performing a content review operation on the register description file, generating a register verification code file (.ralf) according to the register description file.

In a feasible embodiment, the register verification code file generation method of the present invention further includes: Adjusting a test case template file into a test case file based on the register description file.

In one embodiment, the control unit includes a content viewing script, a code file generation script, and a test case file generation script, and the content viewing script, the code file generation script, and the test case file generation script are all edited into a computer executable file using a programming language.

In one embodiment, the register description file records basic parameters of a plurality of registers according to a plurality of entry fields, and the plurality of entry fields include an identifier field, and the identifier field records an identifier used to describe the bit width of the register.

In one embodiment, the control unit checks the bit width, byte number, word number and field bit range of the register according to the identification word to see if they are recorded correctly, thereby completing the content review operation.

In one embodiment, a view log is generated after the content view operation, and the view log records at least one error message contained in the register description file.

In one embodiment, the control unit obtains an access path of the register description file by reading a file path file, and thereby obtains the register description file through the access path.

In one embodiment, the content of the register verification code file includes: Register code, used to define a plurality of registers (uvm_reg) and their corresponding bit widths; Register field code, used to define a plurality of register fields (uvm_reg_field) and their corresponding functions; Address code, used to define the address, access attributes and common bus of each of the registers; Register module code, used to define a register module (uvm_reg_blcok) containing a plurality of the registers; and A storage unit code, used to define a storage unit (uvm_mem).

In one embodiment, the content of the test case file includes: test sequence code, sequencer code, and universal bus driver code.

Furthermore, the present invention also provides an integrated circuit design verification system, which includes a verification platform and a control unit; the feature of the system is that the control unit executes a verification process to perform simulation verification on an integrated circuit including a plurality of circuit modules; the verification process includes: A code file generation program, which is completed by executing the register verification code file generation method of the present invention as described above, thereby generating a register verification code file (.ralf) and a test case file; A RAL model generation program, which generates a RAL model (.sv) according to the register verification code file; and A circuit module verification program, which uses the RAL model, the test case file and the verification platform to complete a simulation verification of a circuit module under test (DUT).

In order to enable the Review Committee to further understand the structure, features, purpose, and advantages of the present invention, the following are attached with drawings and detailed descriptions of preferred specific embodiments.

FIG1 shows a block diagram of an integrated circuit design verification system to which a register verification code file generation method of the present invention is applied. As shown in FIG1 , in the design simulation verification stage of an integrated circuit chip, an integrated circuit design verification system 1 including a control unit 12 and a verification platform 11 is constructed to perform simulation verification on an integrated circuit (e.g., an RTL circuit completed using Verilog). During simulation verification, the control unit 12 executes a verification process to perform verification testing on an integrated circuit including a plurality of circuit modules. To explain in more detail, the verification process includes: a code file generation program, a RAL (register abstraction layer) model generation program and a circuit module verification program, wherein the control unit 12 completes the code file generation program by executing a register verification code file generation method of the present invention, thereby generating a register verification code file and a test case file.

FIG2 shows a flow chart of a register verification code file generation method of the present invention. As shown in FIG1 and FIG2, the process of the register verification code file generation method of the present invention is to execute step S1: obtain a register description file. And, then execute step S2: after performing a content review operation on the register description file, generate a register verification code file (.ralf) according to the register description file. In one embodiment, the control unit 12 is provided with a file review unit 121 including a content review script. In this way, the control unit 12 can activate the content review script to automatically perform the content review operation.

Verification engineers should know that the register description file is filled in by system engineers, also known as a register list, usually an Excel or CVS file. In particular, the present invention organizes the storage path of the register description file in a text file (such as .txt) to generate a file path file. In this way, when executing step S1, the control unit 12 obtains an access path of the register description file by reading the file path file, and thereby obtains the register description file through the access path. The advantage of doing this is that when the access path of the register description file is changed, only the txt file needs to be modified, and there is no need to modify the content viewing script.

Usually, the register description file (Excel) includes: register name, address, register bit width (such as 8bit, 16bit, 32bit), register domain, bit range of register domain, function of register domain and other multiple item fields. When filling in the basic parameters of each register, the system engineer fills in each item field one by one. In particular, the present invention makes the multiple item fields further include an identifier field, and the identifier field records an identifier used to describe the bit width of the register. For example, the identifier "word" indicates that the bit width of the register is 32bit, and the identifier "byte" indicates that the bit width of the register is 8bit. Users can define the identifiers they are used to. With such a design, when executing the content inspection operation, the control unit 12 checks the register bit width, byte number, word number and field bit range according to the identification word to see if they are recorded correctly.

Specifically, the control unit 12 calculates whether the number of bytes/words is consistent based on the bit range of the register and the identification word, that is, divides the bit range by the bit width to confirm whether the operation result is equal to the number of bytes/words filled in the table. In addition, the content inspection also includes checking whether the bit range of the register field is continuous. For example, for a register with an 8-bit width and three register fields, the three register fields can be configured to have bit ranges of [5:0], [6:6] and [7:7] respectively when the table is filled in normally. Therefore, specifically, the bit range of the register field can be checked to see whether the bit tail of the previous row and the bit head of the next row in the table are continuous. After the content review operation is completed, a review log is generated after the content review operation, and the review log records at least one error message contained in the register description file. For example, if the review process finds that the sum of the bit ranges of the three register fields exceeds the bit width of the register, this error message will be recorded in the log file. For another example, if the review process finds that the head and tail of the bit ranges of the three register fields are continuous, this error message will also be recorded in the log file.

In one embodiment, the control unit 12 is provided with a code file generation unit 122 including a code file generation script. With such a configuration, the control unit 12 can enable the code file generation script to generate a register verification code file according to the register description file. In this process, for each register including multiple register domains, the control unit 12 will automatically calculate the bit header and bit tail (i.e., the start bit and the end bit) of each register domain contained therein according to the bit width of the register. Specifically, when the number of bytes/words is greater than 1, it can be known that the register includes multiple register domains. At this time, if it is found in the previous content check process that the bit range of some register domains is filled in incorrectly, the incorrect ones are replaced with the automatically calculated correct start bit and/or end bit. Finally, after completing the content modification of the register description file, the control unit 12 generates a register verification code file according to the register description file.

It is worth noting that the generated register verification code file contains hierarchical structure codes; specifically, it includes: register module code, register code, address code, register field code, and storage unit code. Among them, the register code is used to define a plurality of registers (uvm_reg) and their corresponding bit widths, the register field code is used to define a plurality of register fields (uvm_reg_field) and their corresponding functions, the address code is used to define the address, access attributes and universal bus of each of the registers, the register module code is used to define a register module (uvm_reg_blcok) containing a plurality of the registers, and the storage unit code is used to define a storage unit (uvm_mem).

As shown in FIG. 1 and FIG. 2 , after completing the content review of the register description file (Excel) and generating a register verification code file (.ralf), the process of the register verification code file generation method of the present invention can then execute step S3: adjusting a test case template file into a test case file according to the register description file. In one embodiment, the control unit 12 is provided with a test case generation unit 123 including a test case file generation script. In this way, the control unit 12 can activate the test case file generation script to adjust a test case template file into a test case file according to the register description file. The advantage of doing this is that when the test case file is run to generate the script, it can automatically refer to the correct register description file (Excel), and then generate the test case file corresponding to each register module (uvm_reg_blcok) according to the pre-written test case template.

In other words, after the system engineer changes the register description file (Excel), the file review unit 121 automatically checks the correctness of its content, the code file generation unit 122 automatically generates a register verification code file (.ralf) based on the register description file that has completed the content review, and the test case generation unit 123 also automatically generates a test case file based on the register description file that has completed the content review. The entire process does not require the intervention of the verification engineer, thereby greatly reducing the workload of the verification engineer and improving the simulation verification efficiency of the chip's integrated circuit. On the other hand, when the content of the test case needs to be modified in the later project, only the test case template file needs to be modified, and the update of all test case files can be realized by running the test case file generation script.

After completing the code file generation procedure, the verification process then enters a RAL model generation procedure and a circuit module verification procedure. In one embodiment, the control unit 12 is provided with a RAL model generation unit 124 including a RAL model generation script. In this way, in the RAL model generation procedure, the control unit 12 runs the RAL model generation script, thereby automatically generating a RAL model (.sv) based on the register verification code file (.ralf). Finally, in the circuit module verification procedure, the control unit 12 uses the RAL model, the test case file and the verification platform to complete the simulation verification of at least one of the circuit modules.

Thus, the register verification code file generation method and the integrated circuit verification method including the register verification code file generation method of the present invention have been fully and clearly described above; and, from the above, it can be known that the present invention has the following advantages:

(1) The present invention discloses a register verification code file generation method, which is applied to an integrated circuit design verification system including a verification platform and a control unit. When the method of the present invention is applied, it is possible to automatically check whether the content of a register description file (such as Excel) is correct before generating a register verification code file, and when there are partial errors in the Excel content, a correct register verification code file and test case are automatically generated. Subsequently, after a RAL model (.sv) is generated according to the register verification code file, the control unit uses the RAL model, the test case file and the verification platform to complete the simulation verification of a circuit module under test (DUT).

(2) The present invention also provides a circuit module design verification system, an integrated circuit design verification system, which includes a verification platform and a control unit; its characteristic is that the control unit executes a verification process to perform simulation verification on an integrated circuit including a plurality of circuit modules; the verification process includes: the register verification code file generation program of the present invention as described above, a RAL model generation program, and a circuit module verification program.

It must be emphasized that what is disclosed in the above-mentioned case is a preferred embodiment. Any partial changes or modifications that are derived from the technical ideas of this case and are easily inferred by people familiar with the art do not deviate from the scope of the patent rights of this case.

In summary, this case shows that its purpose, means and effects are very different from the known technology, and it is the first invention that is practical and indeed meets the patent requirements for invention. We sincerely request the review committee to examine this carefully and grant a patent as soon as possible to benefit the society. This is our utmost prayer.

1: Circuit module design verification system 11: Verification platform 12: Control unit 121: File viewing unit 122: Code file generation unit 123: Test case generation unit 124: RAL model generation unit S1: Obtain a register description file S2: After performing a content viewing operation on the register description file, generate a register verification code file according to the register description file S3: Adjust a test case template file into a test case file according to the register description file

FIG1 is a block diagram of an integrated circuit design verification system using a register verification code file generation method of the present invention; and FIG2 is a flow chart of a register verification code file generation method of the present invention.

S1: Get a register description file

S2: After performing a content review operation on the register description file, a register verification code file is generated based on the register description file

S3: Adjust a test case template file into a test case file based on the register description file

Claims (10)

A register verification code file generation method is applied to an integrated circuit design verification system including a verification platform and a control unit, and is executed by the control unit; the register verification code file generation method includes: Obtaining a register description file; and After performing a content review operation on the register description file, generating a register verification code file according to the register description file. The register verification code file generation method as described in claim 1 further includes: Adjusting a test case template file into a test case file based on the register description file. A register verification code file generation method as described in claim 1, wherein the control unit includes a content review script, a code file generation script and a test case file generation script, and the content review script, the code file generation script and the test case file generation script are all edited into a computer executable file using a programming language. A register verification code file generation method as described in claim 1, wherein the register description file records basic parameters of a plurality of registers according to a plurality of item fields, and the plurality of item fields include an identifier field, and the identifier field records an identifier used to describe the bit width of the register. A register verification code file generation method as described in claim 4, wherein the control unit checks whether the bit width, byte number, word number and field bit range of the register are recorded correctly based on the identification word, thereby completing the content review operation. A register verification code file generation method as described in claim 5, wherein a review record is generated after the content review operation, and the review record records at least one error message contained in the register description file. A register verification code file generation method as described in claim 1, wherein the control unit obtains an access path of the register description file by reading a file path file, thereby obtaining the register description file through the access path. A register verification code file generation method as described in claim 1, wherein the content of the register verification code file includes: A register code for defining a plurality of registers and their corresponding bit widths; A register domain code for defining a plurality of register domains and their corresponding functions; An address code for defining the address, access attributes and common bus of each of the registers; A register module code for defining a register module including a plurality of the registers; and A storage unit code for defining a storage unit. A register verification code file generation method as described in claim 2, wherein the content of the test case file includes: a test sequence code, a sequencer code, and a universal bus driver code. An integrated circuit design verification system includes a verification platform and a control unit; the control unit executes a verification process to perform simulation verification on an integrated circuit including a plurality of circuit modules; the verification process includes: a code file generation program, which is completed by executing the register verification code file generation method as described in any one of claim 1 to claim 9, thereby generating a register verification code file and a test case file; a RAL model generation program, which generates a RAL model according to the register verification code file; and a circuit module verification program, which uses the RAL model, the test case file and the verification platform to complete the simulation verification of at least one of the circuit modules.

Images