Reverse Engineering Of Finite State Machines From Sequential Circuits