High-Level Debugging and Verification for FPGA-Based Multicore Architectures

doi 10.1109/fccm.2015.14