FireAxe: Partitioned FPGA-Accelerated Simulation of Large-Scale RTL Designs | IEEE Conference Publication | IEEE Xplore