Title: Circuit synthesis user's guide