A Regression Test Management Method for Large Scale Integrated Circuits Based on Geometric Planning

Abstract

The invention discloses a method for managing the regression test of a large scale integrated (VLSI) circuit in the field of design verification and electronic design automation (EDA). According to the method, functional coverage and disk usage are modeled into the power function of time to compute a computing resource allocation solution based on a geometric programming method under the condition of limited total computing time and disk usage and obtain the optimal allocation curve of the computing resources by properly changing the total computing time limit T and the total disk usage limitS, wherein the curve is the basis for a manager to allocate computing resources for the regression test. According to the method, the efficiency of the computing resources can be maximized; the maximal function coverage can be obtained; available computing resources are effectively allocated to achieve the optimal test efficiency; the iteration of design and verification is reduced and the development period of products is shortened.

Description

technical background [0001] The invention belongs to the electronic design automation (EDA) field of large scale integrated circuit (VLSI) design verification, in particular to a regression test management method based on geometric planning. Background technique [0002] The verification work of VLSI design is of great significance to ensure the correctness of the function of the chip. In the design process of VLSI, the regression test runs throughout. VLSI design is generally described in RTL code. When the RTL code is slightly modified, all existing tests must be run repeatedly to ensure that the modification does not introduce design errors. For complex VLSI designs with multiple RTL modules, multiple verification personnel participate in the writing of regression tests, and there are many regression tests. To achieve 100% functional coverage, the regression test time is too long, and the disk usage is too large, exceeding The amount of computing resources available. On...

AI Technical Summary

Problems solved by technology

[0003] The current situation is that there is a lack of a global test management method, and the available computing resources cannot be effectively allocated to achieve the best test efficiency. Each regression test cannot achieve targeted and efficient testing, and only 100% functional coverage The rate-driven regression testing process is too conservative and wastes a lot of computing resources

Images