Sequential Circuit Simulation