Oriol Arcas-Abella, Adrián Cristal, Osman S. Unsal. High-Level Debugging and Verification for FPGA-Based Multicore Architectures. In 23rd IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM 2015, Vancouver, BC, Canada, May 2-6, 2015. pages 135-142, IEEE Computer Society, 2015. [doi]
Abstract is missing.