High-level synthesis of partitioned bus architecture