Safely Preventing Unbounded Delays During Bus Transactions in FPGA-based SoC