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

Oriol Arcas-Abella, Adrin Cristal, Osman S. Unsal

Browse the full FCCM paper archive.