A functional verification system which can be used to evaluate either cycle based designs or non-cycle based designs. A server classifies the private data according to a hidden Markov model to obtain permuted noisy estimates of the states and the chaff, which are returned to the client. The support wire system is electrically connected to a load by a connecting wire. Further, the invention is arranged with an electromagnetic controlling module to the mandrel’s tail end at the interior of the main-shaft for taking non-contacting magnetic force to finely tune the axial position of the mandrel, such that an active compensatory function of the axial position of the cutting point of a cutting tool in action is achieved. The ATM switch further includes an adding part which adds arriving time information to an arriving cell as the time information.