Nonlinear modeling and verification of MMIC amplifiers using the waveform-balance method