Implementation of Quantized-State System Models for a PLL Loop Filter Using Verilog-AMS | IEEE Journals & Magazine | IEEE Xplore