An Auto-Generation Method of Stimulation Waveform for Sequence Cell Circuit Functional Verification