IbIS: Interface-based Interconnection Structure for Dynamically Reconfigurable FPGAs