Татарин> Core 2 Quad Q8200 - 420 миллионов транзисторов. Из которых подавляющая, львиная, просто ужасающая
доля - кеши. То есть памяти. Логика, которую надо проверить, умещается.
Татарин> Именно так - кучей ПЛИС, за безумные деньги на низкой частоте. Ну не очень безумные... на самом деле. Тыщ 100 долларов за ящик.
Ну ещё есть ускорители, третий подход:
Cadence system design and verification solutions provide the simulation, acceleration, emulation, and management capabilities to verify pre-silicon complex hardware/software systems, reducing time to market and risk.
// www.cadence.com
Тоже медленно, зато всё видно внутри. В отличие от ПЛИС.
Больше не раскалятся ваши колосники. Мамонты пятилеток сбили свои клыки. ©