Title: Design of phase-locked loop lircuits, with experiments