behavioral level verification

The comparison of experimental results of CPPLL with behavioral level and transistor level description has been made. The experimental results show that the behavioral level verification has high efficiency compare with transistor level description verification.
而且进一步研究了不同描述方法验证的优势,对比了电荷泵锁相环采用行为级和晶体管级两种不同描述方法情况下的实验结果,事实证明行为级验证确实具有高效性的特点。