Discrete domain modeling of an all-digital frequency locked loop | IEEE Conference Publication | IEEE Xplore