Exhaustive simulation need not require an exponential number of tests

While simulation is today the most common form of verification, one disadvantage is the excessive number of tests needed for complete coverage. However, the number of tests may be substantially reduced if test case generation is combined with a structural analysis. The resulting set of test cases for exhaustive simulation may be smaller than exponential, which might make exhaustive simulation feasible. Even if the set of test cases is still too large, choosing tests from this reduced set results in better coverage than otherwise.<>