Benchmarks

hwmcc07amba.tar.bz2 | hwmcc07l2s.tar.bz2 | hwmcc07tip.tar.bz2 | hwmcc07intel.tar.bz2 ]

Above you can download the benchmarks used in the HWMCC'07 competition. For more information consult the slides of the CAV'07 presentation.