System synthesis and allocation