Transformation based communication and clock domain refinement for system design