Benchmarks Used for ArchC Models Validation
This page contains binary files, compiled for Linux systems, ready to use with our
ArchC models. Up to now, we are working with programs extracted from the
Mibench and
Mediabench suites to validate the models (see
ArchC models
roadmap).
The only exception is the
Intel 8051 model. We have prepared a
set of hexadecimal files to be used with the
i8051 ArchC model. We adopted the benchmarks available at the
Dalton project homepage and used the free version of Keil's i8051 compiler.
See simulator
instructions to learn how to load these applications in
ArchC generated simulators.
Full Packages
Mibench
Mediabench
Links
Official websites for benchmark suites used in the ArchC project:
