Sequential Circuit Analysis and Design