Автоматизация электронного проектирования ( EDA ), также называемая электронным компьютерным проектированием ( ECAD ) [1], представляет собой категорию программных инструментов для проектирования электронных систем, таких как интегральные схемы и печатные платы . Инструменты работают вместе в потоке проектирования, который разработчики микросхем используют для проектирования и анализа целых полупроводниковых микросхем. Поскольку современный полупроводниковый чип может состоять из миллиардов компонентов, инструменты EDA необходимы для их проектирования; в этой статье, в частности, описывается EDA применительно к интегральным схемам (ИС).
История
Первые дни
До разработки EDA интегральные схемы разрабатывались вручную и вручную выкладывались. Некоторые продвинутые магазины использовали геометрическое программное обеспечение для создания лент для фотоплоттера Gerber , отвечающего за создание монохроматического изображения экспозиции, но даже те копировали цифровые записи механически нарисованных компонентов. Процесс был в основном графическим, перевод с электроники на графику выполнялся вручную; Самой известной компанией той эпохи была Calma , чей формат GDSII используется до сих пор. К середине 1970-х разработчики начали автоматизировать проектирование схем в дополнение к черчению, и были разработаны первые инструменты размещения и трассировки ; когда это произошло, в трудах конференции по автоматизации проектирования было занесено в каталог подавляющее большинство разработок того времени.
Следующая эра началась после публикации «Введение в системы СБИС » Карвером Мидом и Линн Конвей в 1980 году; в этом новаторском тексте пропагандировалась разработка микросхем с использованием языков программирования, которые компилируются на кремнии. Непосредственным результатом стало значительное увеличение сложности микросхем, которые можно было разработать, с улучшенным доступом к инструментам проверки конструкции , использующим логическое моделирование . Часто микросхемы было проще выложить и с большей вероятностью они работали правильно, поскольку их конструкции можно было более тщательно смоделировать до строительства. Несмотря на то, что языки и инструменты развивались, этот общий подход, заключающийся в определении желаемого поведения на текстовом языке программирования и позволяющий инструментам вывести подробный физический проект, остается основой дизайна цифровых ИС сегодня.
Самые ранние инструменты EDA были созданы академически. Одним из самых известных был «Тарбол инструментов СБИС Беркли», набор утилит UNIX, используемых для разработки ранних систем СБИС. По-прежнему широко используются эвристический минимизатор логики Espresso , отвечающий за снижение сложности схем, и Magic , платформа автоматизированного проектирования. Другим важным событием стало создание MOSIS , консорциума университетов и производителей, который разработал недорогой способ обучения студентов-проектировщиков микросхем путем производства реальных интегральных схем. Основная концепция заключалась в использовании надежных, недорогих, относительно низкотехнологичных процессов ИС и упаковке большого количества проектов на пластину с сохранением нескольких копий микросхем от каждого проекта. Сотрудничающие производители либо пожертвовали обработанные вафли, либо продали их по себестоимости. поскольку они увидели, что программа полезна для их собственного долгосрочного роста.
Рождение коммерческого EDA
1981 год ознаменовал начало EDA как отрасли. В течение многих лет крупные электронные компании, такие как Hewlett Packard , Tektronix и Intel , занимались EDA внутри страны, и менеджеры и разработчики начали выходить из этих компаний, чтобы сосредоточиться на EDA как на бизнесе. Примерно в это же время были основаны Daisy Systems , Mentor Graphics и Valid Logic Systems, вместе именуемые DMV. В 1981 году Министерство обороны США дополнительно начало финансирование VHDL в качестве языка описания оборудования. В течение нескольких лет появилось много компаний, специализирующихся на EDA, каждая из которых уделяла немного разное внимание.
Первая выставка EDA была проведена на конференции Design Automation Conference в 1984 году, а в 1986 году компания Gateway Design Automation впервые представила Verilog , еще один популярный язык проектирования высокого уровня, в качестве языка описания оборудования . Симуляторы быстро последовали за этими введениями, позволив прямое моделирование конструкции микросхем и исполняемых спецификаций. В течение нескольких лет были разработаны серверные части для выполнения логического синтеза .
Текущее состояние
Современные цифровые потоки чрезвычайно модульны, при этом внешние интерфейсы производят стандартизированные описания проекта, которые объединяются в вызовы модулей, подобных ячейкам, без учета их индивидуальной технологии. Ячейки реализуют логические или другие электронные функции за счет использования конкретной технологии интегральной схемы. Изготовители обычно предоставляют библиотеки компонентов для своих производственных процессов с имитационными моделями, которые подходят для стандартных инструментов моделирования.
Большинство аналоговых схем по-прежнему разрабатывается вручную, что требует специальных знаний, уникальных для аналогового проектирования (например, концепций согласования). [2] Следовательно, аналоговые инструменты EDA гораздо менее модульны, поскольку требуется гораздо больше функций, они сильнее взаимодействуют, а компоненты в целом менее идеальны.
Значение EDA для электроники быстро возросло в связи с постоянным масштабированием полупроводниковой технологии. [3] Некоторыми пользователями являются операторы литейных производств , которые управляют предприятиями по производству полупроводников («фабрики»), и дополнительные лица, ответственные за использование сервисных компаний по технологическому проектированию, которые используют программное обеспечение EDA для оценки входящего проекта на предмет готовности производства. Инструменты EDA также используются для программирования функциональных возможностей проектирования в ПЛИС или программируемых вентильных массивах, настраиваемых конструкциях интегральных схем.
Программное обеспечение фокусируется
Дизайн
Процесс проектирования в первую очередь по-прежнему характеризуется несколькими основными компонентами; это включает:
- Высокоуровневый синтез (также известный как поведенческий синтез или алгоритмический синтез) - высокоуровневое описание проекта (например, на C / C ++) преобразуется в RTL или уровень передачи регистров, отвечающий за представление схемы посредством использования взаимодействий между регистрами.
- Логический синтез - перевод описания проекта RTL (например, написанного на Verilog или VHDL) в дискретный список соединений или представление логических вентилей.
- Схематический захват - для стандартных цифровых, аналоговых, RF-подобных захвата CIS в Orcad от Cadence и ISIS в Proteus. [ требуется разъяснение ]
- Макет - обычно макет , управляемый схемами , например Layout в Orcad от Cadence, ARES в Proteus
Моделирование
- Моделирование транзисторов - имитация транзисторов на низком уровне поведения схемы / топологии с точностью на уровне устройства.
- Логическая симуляция - цифровая симуляция цифрового поведения RTL или списка соединений ( логический 0/1) с точностью на логическом уровне.
- Поведенческое моделирование - высокоуровневое моделирование архитектурной операции проекта с точностью на уровне цикла или интерфейса.
- Эмуляция оборудования - использование специального оборудования для имитации логики предлагаемой конструкции. Иногда может быть подключен к системе вместо чипа, который еще предстоит построить; это называется внутрисхемной эмуляцией .
- Технологии САПР моделируют и анализируют лежащие в основе технологические процессы. Электрические свойства устройств выводятся непосредственно из физики устройства.
- Решатели электромагнитного поля или просто решатели поля решают уравнения Максвелла непосредственно в случаях, представляющих интерес при проектировании ИС и печатных плат. Они известны тем, что работают медленнее, но точнее, чем извлечение макета выше. [ где? ]
Анализ и проверка
- Функциональная проверка
- Проверка пересечения тактовых доменов ( проверка CDC): похожа на линтинг , но эти проверки / инструменты специализируются на обнаружении и сообщении о потенциальных проблемах, таких как потеря данных , метастабильность из-за использования нескольких тактовых доменов в проекте.
- Формальная проверка , а также проверка модели : попытки доказать математическими методами, что система имеет определенные желаемые свойства и что определенные нежелательные эффекты (такие как тупик ) не могут возникнуть.
- Проверка эквивалентности : алгоритмическое сравнение RTL- описания микросхемы и синтезированного списка шлюзов для обеспечения функциональной эквивалентности на логическом уровне.
- Статический временной анализ : анализ временной привязки схемы независимым от входа способом, следовательно, поиск наихудшего случая по всем возможным входам.
- Физическая проверка , PV: проверка того, является ли конструкция физически производимой, и что полученные микросхемы не будут иметь никаких физических дефектов, препятствующих работе, и будут ли соответствовать исходным спецификациям.
Подготовка к производству
- Подготовка данных маски или MDP - создание реальных фотошаблонов для литографии , используемых для физического изготовления чипа.
- Чип-отделка, включающая нестандартные обозначения и конструкции для повышения технологичности макета. Примерами последних являются уплотнительное кольцо и наполнители. [4]
- Изготовление макета сетки с тестовыми шаблонами и метками совмещения.
- Подготовка макета к маске, которая улучшает данные макета с помощью графических операций, таких как методы повышения разрешения или RET - методы повышения качества конечной фотомаски . Это также включает в себя коррекцию оптической близости или OPC - предварительную компенсацию дифракционных и интерференционных эффектов, возникающих позже, когда чип изготавливается с использованием этой маски.
- Генерация маски - Генерация плоского изображения маски из иерархического дизайна.
- Автоматическая генерация тестовых шаблонов или ATPG - систематическая генерация данных шаблонов для проверки как можно большего количества логических вентилей и других компонентов.
- Встроенное самотестирование или BIST - установка автономных тестовых контроллеров для автоматического тестирования логики или структуры памяти в проекте.
Функциональная безопасность
- Функциональный анализ безопасности , систематическое вычисление показателей отказов во времени (FIT) и показатели охвата диагностикой для проектов с целью удовлетворения требований соответствия для желаемых уровней полноты безопасности.
- Синтез функциональной безопасности , добавление повышения надежности к структурированным элементам (модули, RAM, ROM, файлы регистров, FIFO) для улучшения обнаружения ошибок / отказоустойчивости. Сюда входят (не ограничиваясь) добавление кодов обнаружения и / или исправления ошибок (Хэмминга), избыточная логика для обнаружения ошибок и отказоустойчивости (дублирование / трижды) и проверки протоколов (четность интерфейса, выравнивание адресов, подсчет ударов).
- Проверка функциональной безопасности , проведение кампании отказов, включая вставку отказов в проект и проверку того, что механизм безопасности соответствующим образом реагирует на отказы, которые считаются покрытыми.
Компании
Старые компании
Рыночная капитализация и название компании по состоянию на декабрь 2011 г.[Обновить]: [5]
- 5,77 миллиарда долларов [6] - Synopsys
- 4,46 миллиарда долларов [7] - Cadence
- 2,33 миллиарда долларов - Mentor Graphics
- 507 миллионов долларов - Magma Design Automation ; Synopsys приобрела Magma в феврале 2012 года [8] [9]
- NT $ 6440000000 - SpringSoft ; Synopsys приобрела SpringSoft в августе 2012 г.
- 11,95 млрд йен - Zuken Inc.
Примечание. EEsof, вероятно, должен быть в этом списке [10], но у него нет рыночной капитализации, так как это подразделение компании Keysight по EDA .
Приобретения
Многие компании EDA приобретают небольшие компании с программным обеспечением или другими технологиями, которые можно адаптировать к их основному бизнесу. [11] Большинство лидеров рынка являются объединениями множества небольших компаний, и этой тенденции способствует тенденция компаний-разработчиков программного обеспечения к разработке инструментов в виде аксессуаров, которые естественным образом вписываются в набор программ более крупного поставщика по цифровым схемам ; многие новые инструменты включают аналоговый дизайн и смешанные системы. [12] Это происходит из-за тенденции размещать целые электронные системы на одном кристалле .
Смотрите также
- Компьютерное проектирование (САПР)
- Схемотехника
- База данных EDA
- Signoff (автоматизация электронного проектирования)
- Сравнение программного обеспечения EDA
- Платформенный дизайн
Рекомендации
- ^ "О индустрии EDA" . Консорциум автоматизации проектирования электроники. Архивировано из оригинала 2 августа 2015 года . Проверено 29 июля 2015 года .
- ^ Дж. Лиениг, Дж. Шайбле (2020). «Глава 6: Специальные методы компоновки для проектирования аналоговых ИС». Основы топологии электронных схем . Springer. п. 213-256. ISBN 978-3-030-39284-0.
- ^ Лаваньо, Мартин и Шеффер (2006). Справочник по автоматизации проектирования электроники для интегральных схем . Тейлор и Фрэнсис. ISBN 0849330963.CS1 maint: несколько имен: список авторов ( ссылка )
- ^ Дж. Лиениг, Дж. Шайбле (2020). «Глава 3.3: Данные маски: постобработка макета». Основы топологии электронных схем . Springer. п. 102-110. DOI : 10.1007 / 978-3-030-39284-0 . ISBN 978-3-030-39284-0.
- ^ Сравнение компаний - Google Финансы . Google.com. Проверено 10 августа 2013.
- ^ Synopsys, Inc .: NASDAQ: котировки и новости SNPS - Google Финансы . Google.com (22 мая 2013 г.). Проверено 10 августа 2013.
- ^ Ключевая статистика CDNS | Акции Cadence Design Systems, Inc. - Yahoo! Финансы . Finance.yahoo.com. Проверено 10 августа 2013.
- ^ Дилан МакГрат (30 ноября 2011 г.). «Synopsys купит Magma за 507 миллионов долларов» . EETimes.
- ^ «Synopsys приобретает автоматизацию проектирования магмы» .
- ^ «Agilent EEsof EDA - Часть I» .
- ^ Кирти Сикри Десаи (2006). «Инновации EDA через слияния и поглощения» . EDA Cafe . Проверено 23 марта 2010 года .
- ^ "Semi Wiki: EDA Вики по слияниям и поглощениям" . SemiWiki.com . 16 января 2011 . Проверено 3 апреля 2019 года .
- Заметки
- http://www.staticfreesoft.com/documentsTextbook.html Компьютерные средства для проектирования СБИС, Стивен М. Рубин
- Основы макетирования для электронных схем , по Lienig, Шайбль, Springer, DOI : 10.1007 / 978-3-030-39284-0ISBN 978-3-030-39284-0 , 2020
- VLSI Physical Design: Из графика Перегородки для синхронизации закрытия , по Kahng, Lienig, Марков и Ху, DOI : 10.1007 / 978-90-481-9591-6ISBN 978-90-481-9590-9 , 2011 г.
- Справочник по автоматизации проектирования электроники для интегральных схем , Лаваньо, Мартин и Шеффер, ISBN 0-8493-3096-3 , 2006 г.
- Справочник по автоматизации проектирования электроники, составленный Дирком Янсеном и др., Kluwer Academic Publishers, ISBN 1-4020-7502-2 , 2003, также на немецком языке ISBN 3-446-21288-4 (2005)
- Комбинаторные алгоритмы для компоновки интегральных схем , Томас Ленгауэр, ISBN 3-519-02110-2 , Teubner Verlag, 1997.