Accurate modeling and experimental validation of an injection-locked frequency divider.