Логическое моделирование
-
Основы логического моделирования
- Логическое моделирование используется для прогнозирования поведения цифровых схем и аппаратного описания.
- Моделирование может выполняться на разных уровнях абстракции, включая транзисторный, затворный и другие.
-
Применение в верификации
- Логическое моделирование является частью процесса верификации при проектировании аппаратного обеспечения.
- Моделирование позволяет пользователю взаимодействовать с дизайном и получать обратную связь.
-
Продолжительность моделирования
- Сложность и время моделирования увеличиваются по мере развития проекта.
- На ранних этапах ошибки обнаруживаются быстро, но на поздних этапах требуется больше времени и ресурсов.
-
Альтернативы и ускорение моделирования
- Эмуляция на программируемых вентильных матрицах может быть альтернативой моделированию.
- Формальная верификация также рассматривается как альтернатива, но не всегда возможна.
- Распределенные и параллельные вычисления могут ускорить моделирование.
-
Оценка качества моделирования
- Существуют инструменты для оценки покрытия кода и других показателей качества моделирования.
-
Сравнение моделирования событий и циклов
- Моделирование событий позволяет отслеживать временную информацию, но не заменяет статический анализ синхронизации.
- Циклическое моделирование выполняется с постоянной скоростью и лучше подходит для аппаратного ускорения.
- Современные тенденции в проектировании микросхем повышают производительность событийного моделирования.
-
Дополнительные ресурсы
- В статье упоминаются логический синтез, список симуляторов и другие связанные темы.
Полный текст статьи: