UVM-based TST circuit switching module verification device, system and method

Abstract

The invention discloses a UVM-based TST circuit switching module verification device, system and method, and the device comprises the steps: a TST data agent assembly generates switching data, and inputs the switching data to a to-be-tested TST switching circuit module, so as to enable a plurality of switching units in the to-be-tested TST switching circuit module to carry out data exchange; the TST data agent component also monitors the transmission process of the exchange data to obtain a to-be-tested data exchange result; the configuration information control agent component generates configuration information of the corresponding switching unit and monitors a transmission result of the configuration information; and the exchange data scoreboard assembly simulates logic implementation of the exchange unit according to the exchange data and the configuration information to obtain an expected exchange result, determines whether the exchange result of the to-be-tested data meets the exchange requirement based on the expected exchange result, and obtains a verification result of the to-be-tested TST exchange circuit module. According to the invention, the TST module can be verified based on the UVM method, so that the reusability, the expansibility and the verification efficiency of the device are improved.

Description

Technical Field

[0001] The present invention belongs to the technical field of chip verification, and particularly relates to a verification device, system and method for a Time-Space-Time (TST) circuit switching module based on Universal Verification Methodology (UVM). Background Art

[0002] With the continuous development of aerospace, integrated circuit and communication technologies, the circuit switching system, as one of the on-board switching technologies, can cope with satellite communication scenarios with high-capacity, high-reliability and high-performance requirements. As the core of the switching system, it is crucial to verify the switching chip as fully as possible. The traditional verification methods for circuit switching modules mainly rely on register transfer level simulation and the construction of specific test platforms, but such methods have significant defects: 1. Poor reusability: The verification environment is strongly coupled with the design, making it difficult to adapt to design changes and multi-project reuse; 2. Insufficient scalability: For multi-channel, high-concurrency Time-Space-Time (TST) switching structures, traditional methods are difficult to efficiently handle complex scenarios such as timing synchronization and resource contention; 3. Low verification efficiency: The generation of stimuli, coverage analysis and result feedback lack systematicness, resulting in a long verification cycle and a high risk of loopholes.

[0003] Due to the large-scale characteristics of the TST circuit switching module, higher requirements are put forward for verification. Traditional methods are difficult to cope with challenges such as multi-channel data concurrent transmission, multi-group switching configuration distribution, and switching relationship switching at any time, which easily leads to insufficient verification or omission of key defects.

[0004] In existing verification technologies, verification schemes based on the Universal Verification Methodology (UVM) have been widely applied to digital circuit verification, but there is still a blank in their systematic application in TST circuit switching modules. However, the existing technologies have not formed a UVM verification system for the TST structure, especially lacking effective solutions in aspects such as multi-channel stimulus generation, configuration information distribution and switching verification, real-time data comparison, and functional coverage analysis. Summary of the Invention

[0005] Embodiments of the present invention provide a verification device, system and method for a TST circuit switching module based on UVM, which can solve the problems of poor reusability, insufficient scalability and low verification efficiency caused by the inability of existing devices to verify the TST module based on the UVM method.

[0006] In a first aspect, a verification device for a TST circuit switching module based on UVM provided by an embodiment of the present invention includes:

[0007] TST data proxy component, which is used to generate exchange data and input the exchange data into the TST switching circuit module under test, so that multiple switching units in the TST switching circuit module under test perform data exchange; the TST data proxy component is also used to monitor the transmission process of the exchange data to obtain the test data exchange result;

[0008] A plurality of configuration information control proxy components corresponding to the switching units one by one, which are used to generate the configuration information of the corresponding switching unit and monitor the transmission result of the configuration information;

[0009] Exchange data scoreboard component, which is used to simulate the logical implementation of the switching unit according to the exchange data and the configuration information to obtain the expected exchange result, and determine whether the test data exchange result meets the exchange requirements based on the expected exchange result to obtain the verification result of the TST switching circuit module under test;

[0010] Wherein, the input and output ends of the TST data proxy component are connected to the first input and output end of the TST switching circuit module under test through the TST exchange data interface, and the second output end is connected to the first input end of the exchange data scoreboard component; the input and output ends of the configuration information control proxy component are connected to the second input and output end of the TST switching circuit module under test through their respective corresponding configuration information interfaces, and the second output end is connected to the second input end of the exchange data scoreboard component.

[0011] In a second aspect, an embodiment of the present invention provides a TST circuit switching module verification system based on UVM, including the device described in the first aspect and the TST switching circuit module under test.

[0012] In a third aspect, an embodiment of the present invention provides a TST circuit switching module verification method based on UVM. This method is applied to the system described in the second aspect, and the method includes:

[0013] Calling the TST data proxy component to generate exchange data based on the test case;

[0014] Calling the configuration information control proxy component to generate configuration information based on the test case;

[0015] Calling the TST data proxy component and the configuration information control proxy component to monitor the data transmission conditions of each interface of the TST switching circuit module under test to obtain the configuration information transmission result and the test data exchange result;

[0016] Call the data exchange scoreboard component to simulate the logical implementation of the switching unit to obtain the expected exchange result, and determine whether the transmission result of the configuration information and the data exchange result to be tested meet the exchange requirements based on the expected exchange result, so as to obtain the verification result of the TST switching circuit module to be tested.

[0017] The beneficial effects of the embodiments of the present invention compared with the prior art are as follows: The device provided by the invention can integrate an advanced UVM verification platform for data sending, processing and checking. The integrated TST data exchange proxy component and the TST-level switching configuration information control proxy component have good portability, and through the integrated TST-level switching configuration information control proxy component, various types of randomizations such as complete configuration or incremental configuration of the configuration information can be realized in cooperation with various test cases. By using this device to verify the TST circuit switching module, the accuracy and completeness of the verification can be ensured. Compared with the traditional technology, the present invention can not only verify the TST circuit switching module, but also improve the flexibility of verification, reduce the configuration cost, increase the code coverage and functional coverage by adopting the UVM verification environment, and at the same time ensure the improvement of the verification efficiency and the completeness of the verification. BRIEF DESCRIPTION OF THE DRAWINGS

[0018] Figure 1 It is a schematic structural diagram of a TST circuit switching module provided by an embodiment of the present invention;

[0019] Figure 2 It is a schematic structural diagram of a verification device for a TST circuit switching module based on UVM provided by an embodiment of the present invention;

[0020] Figure 3 It is a schematic structural diagram of a TST data proxy component provided by an embodiment of the present invention;

[0021] Figure 4 It is a schematic structural diagram of a configuration information control proxy component provided by an embodiment of the present invention;

[0022] Figure 5 It is a schematic structural diagram of a verification system for a TST circuit switching module based on UVM provided by an embodiment of the present invention;

[0023] Figure 6 It is a flowchart of the implementation of a verification method for a TST circuit switching module based on UVM provided by an embodiment of the present invention. DETAILED DESCRIPTION OF THE EMBODIMENTS

[0024] In the following description, for the purpose of illustration rather than limitation, specific details such as specific system architectures, technologies, etc. are presented to provide a thorough understanding of the embodiments of the present invention. However, those skilled in the art should clearly understand that the present invention can also be implemented in other embodiments without these specific details. In other cases, detailed descriptions of well-known systems, devices, circuits, and methods are omitted to avoid unnecessary details from interfering with the description of the present invention.

[0025] It should be understood that when used in the specification of the present invention and the appended claims, the term "comprising" indicates the presence of the described features, wholes, steps, operations, elements, and / or components, but does not exclude the presence or addition of one or more other features, wholes, steps, operations, elements, components, and / or their combinations.

[0026] It should also be understood that the term "and / or" used in the specification of the present invention and the appended claims refers to any combination and all possible combinations of one or more of the associated listed items, and includes these combinations.

[0027] As used in the specification of the present invention and the appended claims, the term "if" can be interpreted as "when" or "once" or "in response to determining" or "in response to detecting" according to the context. Similarly, the phrase "if determined" or "if [the described condition or event] is detected" can be interpreted as meaning "once determined" or "in response to determining" or "once [the described condition or event] is detected" or "in response to detecting [the described condition or event]" according to the context.

[0028] In addition, in the description of the specification of the present invention and the appended claims, the terms "first", "second", "third", etc. are only used for differentiating descriptions and cannot be understood as indicating or implying relative importance.

[0029] The reference to "one embodiment" or "some embodiments" etc. described in the specification of the present invention means that a specific feature, structure, or characteristic described in connection with that embodiment is included in one or more embodiments of the present invention. Thus, statements such as "in one embodiment", "in some embodiments", "in other some embodiments", "in still other embodiments", etc. that appear in different places in this specification do not necessarily all refer to the same embodiment, but mean "one or more but not all embodiments", unless otherwise specifically emphasized in other ways. The terms "comprising", "including", "having", and their variants all mean "including but not limited to", unless otherwise specifically emphasized in other ways.

[0030] The present invention will be further described in detail below in conjunction with specific embodiments, but the embodiments of the present invention are not limited thereto.

[0031] Embodiment 1

[0032] Figure 1 The figure shows a schematic structural diagram of a TST circuit switching module provided by an embodiment of the present invention.

[0033] In one example, referring to Figure 1 , the TST circuit switching module mainly consists of the following switching units: A-level time-division switching unit, S-level space-division switching unit, and B-level time-division switching unit.

[0034] Exemplarily, each level of switching unit in the TST circuit switching module may include a data switching module and a configuration information control module.

[0035] Specifically, the TST circuit switching module can receive switching data and configuration information and transmit them to the corresponding switching units. Each level of switching unit can control the data switching module in the switching unit to perform data switching according to the configuration information.

[0036] Embodiment 2

[0037] Figure 2 The figure shows a schematic structural diagram of a verification device for a TST circuit switching module based on UVM provided by an embodiment of the present invention. By way of example and not limitation, the device 200 may at least include a TST data proxy component 210, a plurality of configuration information control proxy components 220, and a switching data scoreboard component 230.

[0038] Exemplarily, referring to Figure 2 , various components in the device 200, such as the TST data proxy component 210, a plurality of configuration information control proxy components 220, the switching data scoreboard component 230, etc., can constitute the verification environment (tst_sw_env) of the device 200. Above the hierarchical level of the verification environment, the device 200 may further include a test case base class (base_test), and the test case base class may further include a plurality of test cases (testcase) in addition to the verification environment.

[0039] Exemplarily, the configuration information control proxy components 220 may correspond one-to-one with the switching units in the TST circuit switching module to be tested. For example, the configuration information control proxy components 220 may include an A-level time-division switching configuration information control proxy component, an S-level space-division switching configuration information control proxy component, and a B-level time-division switching configuration information control proxy component.

[0040] In some embodiments, multiple test cases can be derived from a test case base class. The TST data proxy component 210 can generate exchange data according to the test cases, and input this exchange data into the TST exchange circuit module under test to perform data exchange. The configuration information control proxy component 220 can generate the configuration information of the corresponding exchange unit according to the test case, then transmit this configuration information to the corresponding exchange unit, and monitor the transmission result of the configuration information. The TST data proxy component 210 can also monitor the transmission process of the exchange data to obtain the data exchange result under test. The exchange data scoreboard component 230 can simulate the logic implementation of the exchange unit according to the exchange data and the configuration information, generate an expected exchange result, and determine whether the data exchange result under test meets the exchange requirements based on the expected exchange result to obtain the verification result of the TST circuit exchange module under test.

[0041] Exemplarily, refer to Figure 2 , the input and output terminals of the TST data proxy component 210 can be connected to the first input and output terminal of the TST exchange circuit module under test through the TST exchange data interface (refer to the tst_data_if in Figure 2 ), and the second output terminal is connected to the first input terminal of the exchange data scoreboard component 230. The input and output terminals of the configuration information control proxy component 220 can be connected to the second input and output terminal of the TST exchange circuit module under test through their respective corresponding configuration information interfaces (refer to the A-level time-division exchange unit configuration information interface at_cfg_if, S-level space-division exchange unit configuration information interface s_cfg_if, B-level time-division exchange unit configuration information interface bt_cfg_if in Figure 2 ), and the second output terminal is connected to the first input terminal of the exchange data scoreboard component 230.

[0042] Specifically, refer to Figure 2 , the TST circuit exchange module under test and each component inside the device 200 can transmit data through the connected interfaces. For example, the device 200 can transmit data with the TST circuit exchange module (i.e., the design under test DUT) through the TST exchange data interface, transmit configuration information to each exchange unit through the configuration information interface, and then each exchange unit controls the exchange unit to implement the data exchange process according to the configuration information.

[0043] In a possible implementation manner, refer to Figure 3 , the TST data proxy component 210 can include a TST data sequence generator 211, a TST data driver 212, and a TST data interface monitor 213.

[0044] Exemplarily, the TST data sequence generator 211 can generate different switching data sequences according to different test cases and then transmit them to the TST data driver 212. The TST data driver 212 can drive the obtained switching data onto the TST switching data interface (tst_data_if) and then send it to the DUT to simulate the real data transmission situation. The TST data interface monitor 213 can monitor the input and output of the switching data in the DUT to obtain the test data switching result and transmit the result to the switching data scoreboard component.

[0045] In a possible implementation, the configuration information control proxy components at each level have the same structure and similar working logics, except for the execution objects. For example, the A-level time-division switching configuration information control proxy component is used to generate the configuration information of the A-level time-division switching unit, and the S-level space-division switching configuration information control proxy component is used to generate the configuration information of the S-level space-division switching unit.

[0046] Specifically, referring to Figure 4 , the configuration information control proxy component 220 can include a T-switching configuration sequence generator 221, a T-switching configuration driver 222, and a T-switching configuration interface monitor 223.

[0047] Exemplarily, the T-switching configuration sequence generator 221 can generate a set of configuration information according to the randomized configuration of the test case, and the T-switching configuration driver 222 can drive the configuration information to the corresponding configuration information interface according to the storage locations of the configuration information of each level of switching unit in the switching reference model component of the switching data scoreboard component 230. The T-switching configuration interface monitor 223 can continuously monitor the input and output of these configuration information by the DUT on the configuration information interface and send the monitored result (i.e., the transmission result of the configuration information) to the switching data scoreboard component 230.

[0048] In an example, the configuration information can include a set of configuration data frames and a switching relationship switching signal.

[0049] Exemplarily, the configuration data frame can be a set of complete data frames and / or a set of incremental configuration signals.

[0050] For example, if the TST circuit switching module to be tested supports seamless switching of the switching relationship and incremental configuration function, the configuration information can include complete configuration data frames, transmission transactions of incremental configuration information (i.e., incremental configuration signals), and switching relationship switching signals.

[0051] In a possible implementation, referring to Figure 2 , the switching data scoreboard component 230 can embed a switching reference model component (tst_sw_refmod) 231 and a switching data comparison component 232.

[0052] Exemplarily, the switching reference model component 231 may receive switching data from the TST data proxy component and configuration information of each configuration information control proxy component, perform TST switching on the input switching data according to the configuration information to obtain an expected switching result; then input the expected switching result into the switching data comparison component 232. The switching data comparison component 232 may compare the expected switching result with the to-be-tested data switching result, and perform statistics and printing on the comparison result to determine whether the to-be-tested data switching result meets the switching requirements, so as to obtain the verification result of the to-be-tested TST switching circuit module.

[0053] Specifically, the switching data scoreboard component 230 may write the configuration information into the switching reference model component 231 to control the switching of the switching data and simulate the logic in the real hardware.

[0054] In one example, refer to Figure 2 , the results of all proxy components monitoring the input and output data of the DUT top layer can be transmitted to the switching data scoreboard component 230 through Transaction Level Modeling (TLM), such as the TST data proxy component and all configuration information control proxy components. The data exchange inside the verification environment can also be implemented through TLM.

[0055] In some embodiments, refer to Figure 2 , the device 200 may further include a functional coverage group definition component 240. This component can be used to determine whether the data on each interface covers the function points defined in the coverage group, that is, to determine whether the data on each interface is correctly written.

[0056] Exemplarily, the input and output ends of the functional coverage group definition component 240 may be connected to the third input and output end of the to-be-tested TST switching circuit module through a coverage group monitoring interface (cover_if).

[0057] Specifically, the functional coverage group definition component 240 will define some function points that need to be verified according to different system requirements, and then judge whether the defined function points are covered by monitoring the data on the coverage group monitoring interface (cover_if) according to the data change situation.

[0058] Exemplarily, each component in the device 200 may be built based on the SystemVerilog language.

[0059] In some embodiments, the user can also write a makefile, select a compilation tool, connect the file list flielist of the DUT and the file list filelist of the verification environment, add compilation macros, etc. Through the makefile script, the automatic execution of test cases for a specified number of times can also be achieved. Specifically, after setting the number of runs through the makefile script and starting the system, the simulation verification corresponding to the number of runs can be automatically executed.

[0060] The device provided by the present invention is an advanced UVM verification platform that can integrate data sending, processing, and checking. The integrated TST exchange data proxy component and the TST exchange configuration information control proxy components at all levels have good portability. And through the integrated TST exchange configuration information control proxy components at all levels, various types of randomizations such as complete configuration or incremental configuration of the configuration information can be achieved in cooperation with multiple test cases. Verifying the TST circuit switching module through this device can ensure the accuracy and completeness of the verification. Compared with the traditional technology, the present invention can not only verify the TST circuit switching module, but also improve the flexibility of verification, reduce the configuration cost, increase the code coverage and functional coverage by adopting the UVM verification environment, while ensuring the improvement of the verification efficiency and the completeness of the verification.

[0061] Traditional UVM verification devices usually only simulate single-level logic, cannot accurately reproduce the cascading effect of three-level switching, cannot simulate the process of gradually sending down the configuration information of each switching unit in the TST module, and it is difficult to generate a mixed transaction sequence including complete configuration, incremental configuration, and switching signals; therefore, when verifying the TST circuit switching module, traditional UVM verification devices will have insufficient accuracy in data comparison and it is difficult to capture cross-level timing errors or configuration conflicts.

[0062] The present invention can ensure the dynamic collaborative verification of multi-level configuration of the TST circuit switching module by setting configuration information control proxy components corresponding one by one to the switching units, and each component independently generates and determines the configuration information of the corresponding switching unit, and supports the injection of mixed transactions of complete configuration, incremental configuration, and switching signals; by setting the TST data proxy component, it can support the random generation and dynamic driving of multi-channel data frames, and can simulate the timing synchronization problem in the high-concurrency scenario of the TST circuit switching module through parametric design to adapt to different channel scales.

[0063] Furthermore, through the reference model component embedded in the scoreboard component, it can accurately simulate the cascading logic of A-level time-division switching, S-level space-division switching, and B-level time-division switching, receive input data and configuration information synchronously with the DUT, generate an expected result consistent with the hardware behavior, and achieve the zero-error requirement for cross-level data comparison.

[0064] It should be understood that each component in the above-mentioned device 200 can be implemented in whole or in part by software, hardware, or a combination thereof. Each of the above components can be embedded in a device with data processing capabilities in hardware form or be independent of it, or be stored in the memory of the aforementioned device in software form, so that the processor can call and execute the operations corresponding to each of the above modules. The aforementioned device can be, but is not limited to, various types of chip verification computers existing in the art.

[0065] Embodiment 3

[0066] Figure 5 The figure shows a schematic structural diagram of a UVM-based TST circuit switching module verification system provided by an embodiment of the present invention. By way of example and not limitation, the system 500 may include the TST switching circuit module shown in Embodiment 1 as the TST switching circuit module to be tested, and may also include the UVM-based TST circuit switching module verification device 200 shown in Embodiment 2.

[0067] Exemplarily, the device 200 can be used to test the TST switching circuit module to be tested and verify whether its data exchange function meets the requirements.

[0068] For the specific structures and functions of the device 200 and the TST switching circuit module to be tested, reference can be made to Embodiment 2 and Embodiment 1 above respectively, and details are not described herein again.

[0069] Embodiment 4

[0070] Figure 6 The figure shows a flowchart of the implementation of a UVM-based TST circuit switching module verification method provided by an embodiment of the present invention. This method can be applied to the system shown in Embodiment 3 above. This method may include the following steps S601 - S605, and each step will be described below.

[0071] S601, power on and initialize the UVM-based TST circuit switching module verification system.

[0072] In a possible implementation manner, if the system has been initialized before this test and this test is not the first test, then step S602 can be directly performed. If this test is the first test, then it is necessary to start from step S601 and first initialize the device 200 and the TST circuit switching module in the system.

[0073] In an example, before starting the test, all random access memories in the system can be manually initialized first, and then the subsequent process can be carried out to write configuration information therein. For example, it is necessary to reset the switching reference model component 231 and initialize each random access memory in the TST circuit switching module before configuration information can be written therein.

[0074] S602, call the TST data proxy component to generate exchange data based on test cases.

[0075] In one example, before calling the TST data proxy component 210, multiple configuration information control proxy components can be called to generate initial configuration information that meets the requirements of the driving protocol and send it to the TST circuit switching module through corresponding interfaces. The TST circuit switching module can complete the configuration of all switching control memories according to the initial configuration information. After that, the TST data proxy component 210 can be called to generate exchange data.

[0076] In one example, the TST data proxy component 210 can be called to generate exchange data frames and drive these exchange data to the TST exchange data interface to complete the input of exchange data.

[0077] S603, call the configuration information control proxy component to generate configuration information based on test cases.

[0078] In one example, after starting to input exchange data, subsequent configuration information can be generated through the configuration information control proxy component according to the configuration of the test case to achieve as complete verification and coverage collection as possible.

[0079] For example, if the TST circuit switching module is a 40-port TST switching circuit, when generating configuration information, it is necessary to wait for all control memories in the TST circuit switching module to write a complete set of configuration data frames before generating an exchange data transmission signal and an incremental configuration signal. After all control memories have written two complete sets of configuration data frames, the exchange relationship switching signal can be started to be generated.

[0080] S604, call the TST data proxy component and the configuration information control proxy component to monitor the data transmission conditions of each interface of the TST switching circuit module to be tested, and obtain the configuration information transmission result and the data exchange result to be tested.

[0081] In one example, the data exchange result to be tested can be obtained by monitoring the data transmission conditions of the TST exchange data interface through the TST data proxy component, and the transmission result of the configuration information can be obtained by monitoring the data transmission conditions of the configuration information interface through the configuration information control proxy component.

[0082] S605, call the exchange data scoreboard component to simulate the logical implementation of the switching unit to obtain the expected exchange result, and determine whether the transmission result of the configuration information and the data exchange result to be tested meet the exchange requirements based on the expected exchange result, and obtain the verification result of the TST switching circuit module to be tested.

[0083] In one example, if the result of the data exchange to be tested does not meet the requirements, the verification can be ended after printing the simulation log of the failed comparison of the received data.

[0084] In another example, if the result of the data exchange to be tested meets the requirements, the verification can be ended after printing the simulation log of the successful comparison of the received data.

[0085] The method provided by the present invention supports using the design code module of the TST circuit switching module to be verified as the verification object by constructing a module-level TST circuit switching module verification system, instead of integrating the entire chip as the design to be tested. Therefore, only the TST circuit switching module itself needs to be integrated as the design to be tested, which can reduce the dependence on the design to be tested and execute the verifiable nodes of the design to be tested in advance. Since there is no longer a need to integrate the entire electronic control unit chip or other design components, the above system can start verification at the design stage of the TST circuit switching module, significantly advancing the verification intervention time and reducing the dependence conditions. Moreover, the system combines different switching function modes, enabling the generation of random configuration or switching data to effectively complete the function modes in the TST circuit switching module, ultimately achieving the randomness and completeness of the excitation of the TST circuit switching module and significantly improving the verification quality of the TST circuit switching module.

[0086] In the above embodiments, the descriptions of the various embodiments have their own emphases. For parts not detailed or recorded in a certain embodiment, reference can be made to the relevant descriptions of other embodiments.

Claims

1. A verification device for a TST circuit switching module based on UVM, characterized in that Including: A TST data proxy component, which is used to generate exchange data and input the exchange data into the TST switching circuit module under test, so that multiple switching units in the TST switching circuit module under test perform data exchange; the TST data proxy component is also used to monitor the transmission process of the exchange data to obtain the test data exchange result; Multiple configuration information control proxy components corresponding one by one to the switching units, which are used to generate the configuration information of the corresponding switching unit and monitor the transmission result of the configuration information; An exchange data scoreboard component, which is used to simulate the logical implementation of the switching unit according to the exchange data and the configuration information to obtain the expected exchange result, and determine whether the test data exchange result meets the exchange requirements based on the expected exchange result, so as to obtain the verification result of the TST switching circuit module under test; Wherein, the input and output ends of the TST data proxy component are connected to the first input and output end of the TST switching circuit module under test through the TST exchange data interface, and the second output end is connected to the first input end of the exchange data scoreboard component; the input and output ends of the configuration information control proxy component are connected to the second input and output end of the TST switching circuit module under test through their respective corresponding configuration information interfaces, and the second output end is connected to the second input end of the exchange data scoreboard component.

2. The device according to claim 1, wherein The TST data proxy component includes: A TST data sequence generator, which is used to generate different exchange data according to different test cases; A TST data driver, which is used to drive the exchange data onto the TST exchange data interface, so that multiple switching units in the TST switching circuit module under test perform data exchange; A TST data interface monitor, which is used to monitor the transmission process of the exchange data to obtain the test data exchange result.

3. The device according to claim 1, characterized in that, The exchange data scoreboard component includes: An exchange reference model component, which is used to simulate the logical implementation of the switching unit according to the exchange data and the configuration information to obtain the expected exchange result; An exchange data comparison component, which is used to determine whether the test data exchange result meets the exchange requirements based on the expected exchange result, so as to obtain the verification result of the TST switching circuit module under test.

4. The device according to claim 3, characterized in that, The switching unit includes an A-level time-division switching unit, an S-level space-division switching unit, and a B-level time-division switching unit.

5. The device according to claim 4, characterized in that The configuration information control proxy component includes: A T-switching configuration sequence generator, which is used to generate the configuration information according to the randomized configuration of the test case; A T-switching configuration driver, which is used to drive the configuration information onto the configuration information interface according to the storage location of the configuration information in the exchange reference model component; T-switch configuration interface monitor, which is used to monitor the transmission result of the configuration information.

6. The device according to claim 5, characterized in that, The configuration information includes: configuration data frame and switching relationship switching signal.

7. The device according to claim 1, characterized in that, The device further includes: Function coverage group definition component, which is used to monitor whether the data of each interface in the to-be-tested TST switching circuit module is correctly written; Wherein, the input and output ends of the function coverage group definition component are connected to the third input and output ends of the to-be-tested TST switching circuit module through a coverage group monitoring interface.

8. A UVM-based verification system for TST circuit switching module, characterized in that, The system includes the device according to any one of claims 1-7 and the to-be-tested TST switching circuit module.

9. A verification method for a TST circuit switching module based on UVM, characterized in that, The method is applied to the system according to claim 8, and the method includes: Invoking the TST data proxy component to generate switching data based on the test case; Invoking the configuration information control proxy component to generate configuration information based on the test case; Invoking the TST data proxy component and the configuration information control proxy component to monitor the data transmission situation of each interface of the to-be-tested TST switching circuit module, and obtaining the configuration information transmission result and the to-be-tested data switching result; Invoking the switching data scoreboard component to simulate the logical implementation of the switching unit to obtain the expected switching result, and determining whether the transmission result of the configuration information and the to-be-tested data switching result meet the switching requirements based on the expected switching result, so as to obtain the verification result of the to-be-tested TST switching circuit module.

Images