Based on a plurality of known netlists including both a known netlist that includes a Trojannet indicating the presence of a hardware trojan and a known netlist that does not include the Trojannet, a condition for determining the presence or absence of the Trojannet A condition setting step for setting, a determination step for evaluating the netlist of the integrated circuit as the test net list based on the conditions, and determining the presence or absence of a trojan net in the test net list from the obtained evaluation resu It is characterized by providing. [Selection figure] None
展开▼