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

Pietro Fezzardi, Fabrizio Ferrandi. Automated bug detection for pointers and memory accesses in High-Level Synthesis compilers. In Paolo Ienne, Walid A. Najjar, Jason Anderson, Philip Brisk, Walter Stechele, editors, 26th International Conference on Field Programmable Logic and Applications, FPL 2016, Lausanne, Switzerland, August 29 - September 2, 2016. pages 1-9, IEEE, 2016. [doi]

Authors

Pietro Fezzardi

This author has not been identified. Look up 'Pietro Fezzardi' in Google

Fabrizio Ferrandi

This author has not been identified. Look up 'Fabrizio Ferrandi' in Google