Automatic Behavioural Model Calibration for Efficient PLL System Verification. - Ayman Mounir; Ahmed Mostafa; Maged Fikry (DATE, 2003)