WCET Analysis of HLS-Generated Processors Using Abstract Interpretation.

Thomas Feuilletin, Dylan Leothaud, Simon Rokicki, Steven Derrien, Isabelle Puaut

Browse the full ECRTS paper archive.