Title: Sequential-Circuit Synthesis