Sequential Logic: Analysis and Synthesis