magnetic_core_memory_1kbit_128bytes
by

Go to repository

Go

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}
}