Techniques for the verification of correct behavior of complex electronic circuits and systems including algorithms and systems for the detailed simulation of integrated circuits at the transistor level in the time and frequency domain, discrete-event logic simulation, cycle-based logic simulation, RTL and behavioral simulation, equivalence checking, timing analysis, and power estimation.