Event driven analog modeling for the verification of PLL frequency synthesizers | IEEE Conference Publication | IEEE Xplore