Gate-level timing analysis and waveform evaluation