Abstract: High operation frequency and strict timing behavior are characteristics of modern high performance integrated circuit, which require that a digital system simulator can precisely simulate not only the logic function but also the timing behavior of a circuit. This paper presents an approach of waveform simulation for combinational circuit based on Boolean process, and introduces its theoretical bases, used techniques, major algorithms, verifications by SPICE and results of experiments.