Theoretical Investigation and Experimental Verification of the Nonanalytic Form of the Conversion Equations in a Frequency Divider by Two