el description and the RT level description and which specifies information on pairs of signals to be compared for each description pair, and compile information including mapping information between the behavioral level description and the object code, wherein the step a) comprises the steps of: a.1) searching a code portion and the variables of the object code corresponding to each fragments of