Title: A digital automatic frequency control design