Sequential Logic Synthesis