Automatic identification of information useful for generation-based functional verification

A computer program product, the product comprising:

• a computer readable medium;
• a first program instruction for performing repeatedly:
• operating an instruction generator associated with a Design Under Test (DUT), whereby a generated instruction is determined, the generated instruction having one or more instruction attributes;
• and
• collecting information relating to the generated instruction;
• a second program instruction for utilizing a classification technique to classify the information based on the instruction attributes, wherein the classification is based on the generated instruction and the collected information;
• and
• wherein said first and second program instructions are stored on said computer readable medium.