SVA packaging method based on UVM methodology

Abstract

The present invention discloses an SVA encapsulation method based on UVM methodology, comprising the following steps: creating a configuration database, obtaining a configuration object configured in a UVM verification environment from the configuration database; creating an encapsulation assertion, setting an SVA configuration interface method in the encapsulation assertion; and creating an auxiliary component, which monitors and updates the configuration object and dynamically transmits the configuration object to the SVA configuration interface method. The present invention implements dynamic monitoring and updating of configuration objects during a simulation process, resolving the drawback of prior art that configuration objects cannot be updated in a timely manner, and facilitating the use of SVA to dynamically obtain configuration objects in a verification environment based on UVM methodology.

Description

Technical Field

[0001] The present invention relates to the field of software technology, and in particular to an SVA encapsulation method based on UVM methodology. Background Art

[0002] When we verify a more complex timing protocol, we often use concurrent assertions to assist verification. Existing technical solutions include Figure 1 As shown, first, the configuration object is configured in the build_phase of the UVM component, and the config_db configuration database of UVM (Universal Verification Methodology) is used to call the set_config and set_checks_enable configuration interface methods through the handle of the virtual interface to pass the configured configuration object to the interface, and then call SVA (SystemVerilog Assertion), that is, the configuration interface method of protocol_checker here, so as to finally obtain the configuration options in protocol_checker and enable the assertion check to run normally.

[0003] The existing technology has the following defects: the configuration options passed to demo_protocol_checker are static. If the configuration object demo_config is dynamically modified during the simulation process, the value of the configuration option in demo_protocol_checker will no longer be the latest. The configuration options need to be dynamically updated, otherwise the assertion will not be able to correctly complete the check of the target protocol. Summary of the Invention

[0004] According to an embodiment of the present invention, a SVA encapsulation method based on UVM methodology is provided, comprising the following steps:

[0005] Create a configuration database, and obtain the configuration objects configured in the UVM verification environment;

[0006] Create a package assertion and set the SVA configuration interface method in the package assertion;

[0007] Create auxiliary components to monitor and update configuration objects, and dynamically pass configuration objects to SVA configuration interface methods for encapsulation.

[0008] Furthermore, auxiliary components are created in the encapsulated assertion.

[0009] Furthermore, the auxiliary component includes: a first method and a second method;

[0010] The first method obtains the configuration object in the configuration database in real time and passes the configuration object to the encapsulation assertion;

[0011] The second method monitors and updates the configuration object.

[0012] Furthermore, after the first method obtains the configuration object in the configuration database, the second method updates the configuration object.

[0013] The SVA encapsulation method based on UVM methodology according to an embodiment of the present invention implements dynamic monitoring and updating of configuration objects during the simulation process, thereby resolving the defect in the prior art that configuration objects cannot be updated in a timely manner, and facilitating the use of SVA to dynamically obtain configuration objects in a verification environment based on UVM methodology.

[0014] It is to be understood that both the foregoing general description and the following detailed description are exemplary, and are intended to provide further explanation of the technology as claimed. BRIEF DESCRIPTION OF THE DRAWINGS

[0015] Figure 1 It is a schematic diagram of the existing technical solution;

[0016] Figure 2 A schematic diagram of an SVA encapsulation method based on UVM methodology according to an embodiment of the present invention;

[0017] Figure 3 FIG. 1 is a flowchart based on UVM methodology according to an embodiment of the present invention. DETAILED DESCRIPTION

[0018] The following will be combined with the attached Figures 2 and 3 , describe the preferred embodiments of the present invention in detail and further elaborate on the present invention.

[0019] First, combine Figures 2 and 3 The SVA encapsulation method based on UVM methodology according to an embodiment of the present invention is described, which has a wide range of application scenarios.

[0020] like Figures 2 and 3 As shown, the SVA encapsulation method based on UVM methodology in an embodiment of the present invention includes the following steps:

[0021] In S1, as Figures 2 and 3 As shown, a configuration database (config_db) is created, and the configuration database (config_db) obtains the configuration object configured in the UVM verification environment.

[0022] In S2, as Figures 2 and 3As shown, create a package assertion (protocol_checker) and set the SVA configuration interface method in the package assertion (protocol_checker).

[0023] In S3, such as Figures 2 and 3 As shown, an auxiliary component (check_helper) is created. The auxiliary component (check_helper) monitors and updates the configuration object and dynamically passes the configuration object to the SVA configuration interface method for encapsulation, thereby completing the encapsulation of SVA in the verification platform based on UVM methodology.

[0024] Further, if Figure 2 As shown, the helper component (check_helper) is created in the package assertion (protocol_checker).

[0025] Further, if Figure 2 As shown, the auxiliary component (check_helper) is derived from the uvm_component component so that the dynamic modification of the configuration object during the simulation process can be completed with the help of the built-in phase of the UVM component object.

[0026] Further, if Figure 2 As shown, the auxiliary component (check_helper) includes: a first method (end_of_elaboration_phase) and a second method (run_phase); the first method (end_of_elaboration_phase) obtains the configuration object in the configuration database (config_db) in real time and passes the configuration object to the encapsulation assertion (protocol_checker); the second method (run_phase) monitors the changes in the data member variable values ​​of the configuration object in real time and updates the configuration object in real time.

[0027] Furthermore, after the first method (end_of_elaboration_phase) obtains the configuration object in the configuration database (config_db), the second method (run_phase) updates the configuration object.

[0028] Above, refer to Figures 2 and 3 This paper describes an SVA encapsulation method based on UVM methodology according to an embodiment of the present invention, which implements dynamic monitoring and updating of configuration objects during simulation, solves the defect of the prior art that configuration objects cannot be updated in a timely manner, and facilitates the use of SVA to dynamically obtain configuration objects in a verification environment based on UVM methodology.

[0029] It should be noted that, in this specification, the terms "comprises," "includes," or any other variations thereof are intended to encompass non-exclusive inclusion, such that a process, method, article, or apparatus comprising a series of elements includes not only those elements but also other elements not explicitly listed, or elements inherent to such process, method, article, or apparatus. In the absence of further limitations, elements defined by the phrase "comprising..." do not exclude the presence of other identical elements in the process, method, article, or apparatus comprising the elements.

[0030] Although the present invention has been described in detail through the above preferred embodiments, it should be understood that the above description is not intended to limit the present invention. After reading the above description, various modifications and substitutions of the present invention will become apparent to those skilled in the art. Therefore, the scope of protection of the present invention should be defined by the appended claims.

Claims

1. An SVA packaging method based on UVM methodology, characterized in that: The following steps are included: Create a configuration database, wherein the configuration database obtains the configuration objects configured in the UVM verification environment; Creating a package assertion, and setting an SVA configuration interface method in the package assertion; Creating an auxiliary component that monitors and updates the configuration object and dynamically passes the configuration object to the SVA configuration interface method for encapsulation; The auxiliary component includes: a first method end_of_elaboration_phase and a second method run_phase; The first method end_of_elaboration_phase obtains the configuration object in the configuration database in real time and passes the configuration object to the encapsulation assertion; The second method run_phase monitors and updates the configuration object; After the first method end_of_elaboration_phase obtains the configuration object in the configuration database, the second method run_phase updates the configuration object.

2. The SVA encapsulation method based on UVM methodology as claimed in claim 1, wherein The auxiliary component is created in the encapsulation assertion.

Images