Automated bug detection for pointers and memory accesses in High-Level Synthesis compilers.

Pietro Fezzardi, Fabrizio Ferrandi

Browse the full FPL paper archive.