Automatic Test Pattern Generation using PODEM algorithm