Buffer minimization in RTL synthesis from coarse-grained dataflow specification