NSF Award: CAREER: High-Level Synthesis for Verification-Driven Heterogeneous Dataflow System Integration with AI-Assisted Transformation