EDA digital frequency synthesis