Electronic circuit verification

Вики

Физическая проверка

/

Физическая проверка Физическая верификация ИС Проверка макета ИС с помощью EDA-программ для электрической и логической функциональности.  Включает проверку DRC, LVS,

Вики

Пересечение домена с часами

/

Пересечение тактовой области Основы пересечения тактовой области Пересечение тактовой области в цифровой электронике – это передача сигнала из одной тактовой

Вики

Логическое моделирование

/

Логическое моделирование Основы логического моделирования Логическое моделирование используется для прогнозирования поведения цифровых схем и аппаратного описания.  Моделирование может выполняться на

Вики

Эмуляция оборудования

/

Аппаратная эмуляция Аппаратная эмуляция в проектировании ИС Аппаратная эмуляция имитирует поведение аппаратного обеспечения с помощью специального эмулятора.  Эмулятор основан на

Вики

Пост-кремниевая валидация

/

Валидация после применения кремния Процесс проверки и отладки после использования кремния Проверка и отладка являются последним шагом в разработке полупроводниковых

Вики

Проверка правил проектирования

/

Проверка правил проектирования Основы проектирования в электронике Правила проектирования ограничивают разработчиков для обеспечения правильной работы конструкций.  Правила разрабатываются инженерами-технологами и

Вики

Функциональная проверка

/

Функциональная проверка Определение и важность функциональной верификации Функциональная верификация проверяет соответствие логической схемы спецификации.  Она является ключевым этапом в проектировании

Вики

Формальная проверка

/

Формальная проверка Формальная верификация является ключевым стимулом для формальной спецификации систем и лежит в основе формальных методов.  Это представляет собой

Прокрутить вверх