A frequency variable is passed by OOMR from the behavioral PLL model to the other RF blocks. The models are written to verify the correct PLL frequency and correct biasing and control but execute much ...