Datasets
Standard Dataset
Dataset for REMaQE evaluation
- Citation Author(s):
- Submitted by:
- Meet Udeshi
- Last updated:
- Sun, 05/12/2024 - 16:11
- DOI:
- 10.21227/r7e6-bk48
- Data Format:
- License:
- Categories:
- Keywords:
Abstract
Dataset for evaluation of REMaQE
This dataset contains 3,137 randomly generated math equations, that have been compiled into ARM 32-bit HardFloat binaries using C and Simulink implementations, with 4 different optimization levels.
The binaries are reverse engineered to math equations by REMaQE, and this dataset covers a wide variety of binary implementations to evaluate REMaQE's performance.
Each generated equation is implemented as a C function and a Simulink model.
The C function is compiled for ARM32-HF target using the GCC compiler (arm-linux-gnueabhihf-gcc).
The Simulink model is compiled for the same target using Simulink's code generation feature.
Four optimization levels from "-O0" to "-O3" are used during compilation to obtain a variety of implementations.
The file "REMaQEv2_limitations.zip" contains additional binaries that represent the limitations of REMaQE.