Программно эмулируемый процессор. Arcsim: быстрая дополнительная проверка

Программно эмулируемый процессор. Проверка до получения первого кристалла начинается с RTL модели процессора (register transfer logic - логическая схема регистровых переходов), программы высокого уровня, созданной, чтобы работать в точности так, как это делал бы настоящий процессор.

Эта симуляция требует объема вычислительных мощностей. И даже при 300 миллионов циклов в неделю симулируется только 1 секунда работы 300 МГц процессора.

Arcsim: быстрая дополнительная проверка. Параллельно RTL тестированию, Intel тестирует отдельную программную модель, известную под сокращением Arcsim. В то время как RTL модель детализирована и работает безумно медленно, Arcsim представляет собой общую высокоуровневую модель, написанную на языке Си, которую можно легко запускать, перезапускать и сравнивать полученные результаты с RTL моделью.

Ошибки отлавливаются, когда результаты RTL тестирования отличаются от результатов работы Arcsim.