Ashar, Pranav: Sequential Logic Synthesis