Automatic identification of information useful for generation-based functional verification

摘要

A computer-implemented method, an apparatus and a computer program for automatically extracting useful information for functional verification. The method comprising performing repeatedly both 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. Based on the generated instruction and the collected information, a classification technique is utilized to classify the information based on the instruction attributes.

主权项

1. A computer-implemented method, the method performed by a computerized device, the method comprising:
performing repeatedly:
operating an instruction generator associated with a Design Under Test (DUT) to determine a generated instruction, the generated instruction having one or more instruction attributes; andsimulating execution of the generated instruction by the DUT;collecting, based on said simulating, information relating to one or more output architectural properties of the generated instruction; based on the generated instruction and the collected information, utilizing a classification technique to classify the information based on the instruction attributes; and based on the classified information, determining prediction rules that predict under which instruction attributes the generated instruction is expected to hold a target output architectural property.