A buffer-sizing algorithm for networks on chip using TDMA and credit-based end-to-end flow control