控制综合

control synthesis