High-level synthesis based upon dependence graph for multi-FPGA