A battery system includes a plurality of electric rechargeable cells which are stacked in a row and conductive members which electrically connect the electric rechargeable cells together. One method used for the physical design validation of integrated circuits includes comparing the original circuit netlist of an integrated circuit and the layout data of the integrated circuit and assigning labels to the input and output terminals of the components in the integrated circuit based on the results of the comparison. In the event that the element is moved from its anti-tamper position, the switch moves to another switch condition, which generates an alarm signal.