Method, system, and non-transitory computer readable medium for verifying pin name

A system for verifying pin name comprising:

• a storing module, the storing module is configured to store information of a plurality of components of a circuit to be verified;
• a first running module, the first running module is configured to run the circuit to be verified and generate a components pin report of the plurality of components, the components pin report comprising information of pins of the plurality of components and names of the pins of the plurality of components;
• a detecting module, the detecting module is configured to compare the components pin report and the stored information of the plurality of components, to determine whether the names of the pins of the plurality of components of the circuit to be verified are correct;
• wherein in response that the components pin report and the stored information of the plurality of components are different, the detecting module determines that the names of the pins of the plurality of components of the circuit to be verified is incorrect;
• and
• in response that the components pin report and the stored information of the plurality of components are the same, the detecting module determines that the names of the pins of the plurality of components of the circuit to be verified is correct;
• wherein the detecting module is further configured to based on a logical output manner of each of the plurality of components and a determined signal of the pins, the detecting module determines whether the names of the pins are correct;
• in response that a determined signal of an input pin of one of the plurality of components and a determined signal of an output pin of the corresponding component are the same, the logical output manner of the plurality of components is a co-direction logical output;
• and
• in response that the determined signal of the input pin of one of the plurality of components and the determined signal of the output pin of the corresponding component are different, the logical output manner of the plurality of components is a reverse direction logical output.

A non-transitory computer readable medium comprising program instructions for causing an apparatus to perform at least the follow:

• storing information of a plurality of components of a circuit to be verified;
• running the circuit to be verified, and generating a components pin report of the plurality of components, the components pin report comprising information of pins of the plurality of components and names of the pins of the plurality of components;
• comparing the components pin report and the stored information of the plurality of components, to determine whether the names of the pins of the plurality of components of the circuit to be verified are correct;
• in response that the components pin report and the stored information of the plurality of components are different, determining that the names of the pins of the plurality of components of the circuit to be verified is incorrect;
• in response that the components pin report and the stored information of the plurality of components are the same, determining that the names of the pins of the plurality of components of the circuit to be verified is correct;
• wherein the program instructions for causing an apparatus to further perform at least the follow:
• based on a logical output manner of each of the plurality of components and a determined signal of the pins, determining whether the names of the pins are correct;
• in response that a determined signal of an input pin of one of the plurality of components and a determined signal of an output pin of the corresponding component are the same, the logical output manner of the plurality of components is a co-direction logical output;
• and
• in response that the determined signal of the input pin of one of the plurality of components and the determined signal of the output pin of the corresponding component are different, the logical output manner of the plurality of components is a reverse direction logical output.