Modeling Sequential Circuits with Cellular Automata