high_level modeling applied to the second-order charge-pump pll circuit_event_driven_model_of_the_cppll_seconder_order.pdf