Large Signal Modeling and Verification of Silicon RF Power Transistors