회로들을 자동으로 합성하는 방법이 제공되며, 이러한 방법은 채널들 내에서 데이터를 판독 혹은 기입하는 정규 프로세스들의 네트워크를 발생시키는 것을 포함하고, 여기서 단일 생산자 프로세스는 채널 내에서 기입할 허가를 받고, 단일 소비자 프로세스는 채널 내에서 판독할 허가를 받고, 상기 채널과 관련되는 동기화 유닛은, 상기 생산자 프로세스, 소비자 프로세스 각각의 새로운 반복의 구현을 허가하거나 비활성화하고, 여기서 허가하거나 비활성화하는 것은, 생산자 프로세스, 소비자 프로세스 각각으로부터 수집된 새로운 반복의 값에 따라 결정되는 실행의 위치와, 소비자 프로세스, 생산자 프로세스 각각으로부터 수집된 마지막 반복 값에 따라 결정되는 실행의 위치의 비교에 따라 이루어진다.