Насколько сложно производить микросхемы? Одна ошибка в операции деления обошлась в 475 миллионов долларов
**Создание микрочипов: сложный процесс, где одна ошибка может стоить миллиардов**
Чипы являются фундаментом современных технологий, от искусственного интеллекта до телекоммуникаций. Однако их разработка невероятно сложна, главным образом из-за необходимости добиться успеха с первой попытки. В отличие от программного обеспечения, чип после производства (в процессе, превращающем песок в кремниевые пластины) практически невозможно исправить. Ошибка обходится крайне дорого: например, Intel потратила 475 миллионов долларов на отзыв процессоров Pentium из-за дефекта в блоке операций с плавающей запятой.
Исследования показывают, что лишь 24% проектов по созданию чипов успешны с первого раза. Ключевая причина — сложность верификации (проверки) проекта. На эту фазу сейчас приходится до 70% всего цикла разработки. Проблема в «треугольнике невозможного» верификации: высокая производительность, хорошие возможности отладки и низкая стоимость не могут быть достигнуты одновременно. Полная проверка одного ядра CPU современными методами программной симуляции заняла бы 15000 лет.
Несмотря на то, что исследования в области верификации трудоемки и менее популярны, чем, например, разработка ИИ, они критически важны. Автор, исследователь из Китайской академии наук, и его команда работают над созданием ускоренной платформы верификации ENCORE на основе программируемых логических интегральных схем (FPGA), чтобы повысить ее эффективность.
Параллельно с научной работой автор занимается популяризацией знаний о чипах, считая, что и исследования, и просвещение в этой сложной области — это «трудные, но долгосрочные» и поэтому верные дела, требующие настойчивости.
marsbit06/15 10:32
