US7643897B2 - Method for Automatically Checking Sequence of Loading Boats and Batches for Semiconductor Manufacturing Process