Intel Benchmarks

In the model checking competition HWMCC'07 we used 42 benchmarks contributed by Intel. If you are an academic user and not affiliated to an EDA company you can obtain these benchmarks by entering your email address below.

Enter Mail:

If you are not an academic user or affiliated to an EDA company, you are not allowed to use these benchmarks unless you get written permission from Zurab Khasidashvili.

Due to a glitch in our numbering scheme benchmark intel_008.aig does not exist (yet).