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

Pietro Fezzardi Fabrizio Ferrandi

Published in: FPL (2016)

Keyphrases

high level synthesis
object detection
programming language
hardware and software
artificial intelligence
detection algorithm
automated analysis
case study
software systems
main memory
source code
memory management