Standard Cell Behavior Analysis and Waveform Set Model for Statistical Static Timing Analysis