An Experimental Study of Boolean Process

Boolean process theory, which was proposed in 1994 by Yinghua Min, one of the authors of this paper, is a theory mainly used on design and test of hig h-speed circuits and it can be considered as an expansion of Boolean algebra wi t h the time field. It takes less time to calculate circuit's timing behavior usin g Boolean process than using SPICE, so it can be applied in large circuits, whil e SPICE will be too slow to use in such cases. Boolean process has been studied in recent years, and it was used in path sensitization, IDDT, and other fields. BPBDD, an expansion of BDD, was also carried out, and Boolean process can be ea sily calculated using it. As a quick calculate method, Boolean process can be ap plied in IC timing study and analysis, but some craft brothers in other countrie s question its reality. This paper explains the physical meaning of Boolean proc ess, and builds an experimental basis of Boolean process. The authors use 0.35μ m, 3.3V M OSFET transistor model and HSPICE to do simulations at switch level, get result s by observing the voltage waveforms in circuits, and do simulations on som e example circuits in this way, and the simulation results is the same as the re sults calculated by Boolean process. Therefore, Boolean process is verified to b e a realistic representation of logical and timing behavior of digital circuits by the experiments.