Основы САПР для VLSI: логический синтез и оптимизация

Современные интегральные схемы содержат миллиарды компонентов, что делает ручное проектирование невозможным без сложного программного обеспечения. Этот курс обеспечивает прочную основу в логическом уровне CAD инструментов, которые преобразуют абстрактные функциональные описания в оптимизированное оборудование. Вы узнаете, как ориентироваться в огромной сложности проектирования чипа, понимая алгоритмы программного обеспечения, которые автоматизируют процесс. С помощью письменных объяснений и технических разборок вы развиете навыки анализа и реализации основных логических функций, используемых в сегодняшней полупроводниковой промышленности. Что вы узнаете: - Понять основные принципы булевой алгебры и логического представления - Применять алгоритмы синтеза для преобразования описаний высокого уровня в списки цепей уровней ворот - Практика методов оптимизации для уменьшения площади, потребления энергии и задержки - Методы имитации логического контроля для проверки правильности конструкции - Изучить современные концепции формальной верификации и роль SAT-решителей в проектировании аппаратуры - Узнайте, как ограничения размещения и маршрутизации влияют на решения логического уровня Курс начинается с основных терминов и базовых булевых структур данных, а затем переходит к сложным алгоритмам синтеза и стратегиям проверки. Этот структурированный подход обеспечивает глубокое понимание того, как инструменты САПР обрабатывают массивные масштабы. Этот курс предназначен для начинающих в области электротехники или информатики, которые хотят понять программную сторону проектирования оборудования. Не требуется предыдущий опыт с разработкой инструментов САПР. Начните изучать программное обеспечение, которое используется в полупроводниковой промышленности.