APPARATUS AND METHOD FOR GENERATING TEST CASES FOR PROCESSOR VERIFICATION, AND VERIFICATION DEVICE

摘要

An apparatus for generating non-redundant test cases for processor verification is provided. According to one embodiment, the apparatus can comprise: a constrained description generation unit for defining a plurality of constrained verification spaces within a total verification space and generating constrained descriptions for each of the plurality of constrained verification spaces; and a test case generation unit for generating the test cases by using the constrained description.