Synthesize time logic circuits