Automated Modeling Testbench Methodology Tested with four Types of PLL Models