PolyGaz

Code for obtaining safe data access patterns and reuse information for WCET analysis using Abstract Interpretation.

If you use this code, please provide the following reference:

J. Segarra, J. Cortadella, R. Gran Tejero and V. Viñals-Yúfera, “Automatic Safe Data Reuse Detection for the WCET Analysis of Systems With Data Caches," in IEEE Access, vol. 8, pp. 192379-192392, 2020, doi: 10.1109/ACCESS.2020.3032145.

@ARTICLE{9229458,
 author={J. {Segarra} and J. {Cortadella} and R. {Gran Tejero} and V. {Viñals-Yúfera}},
 journal={IEEE Access},
 title={Automatic Safe Data Reuse Detection for the WCET Analysis of Systems With Data Caches},
 year={2020},
 volume={8},
 number={},
 pages={192379-192392},
 doi={10.1109/ACCESS.2020.3032145}
}