Dataflow-Functional High-Level Synthesis for Coarse-Grained Reconfigurable Accelerators