Cycle-Accurate Hardware Simulation Framework on Abstract FPGA Platforms