Под логическим моделированием понимают полное и точное программное воспроизведение поведения цифровой схемы по ее функциональному и/или структурному описанию и заданным наборам входных сигналов.
При ручном проектировании модель представляется действующим макетом или опытным образцом (прототипом).
При автоматизированном проектировании действующий макет заменяется имитационной (программной) моделью проекта, а натурные или физические эксперименты – модельными (машинными).
В модель легко вносить любые изменения и таким образом улучшать проект до тех пор, пока он не достигнет требуемого качества.
Задачи, решаемые методом логического моделирования
Основная задача логического моделирования - проверить правильность функционирования цифровой схемы до её фактического (физического) воплощения
Исследование временных характеристик схемы - быстродействия, времени выполнения операций, максимальных частот счёта или сдвига. Обнаружение состязаний и рисков сбоя. Задержки.
Контроль временных соотношений - времени предустановки и времени удержания, минимальной длительности сигналов.
Разработка контролирующих и диагностических тестов. Моделирование неисправностей.
Сравнение альтернативных вариантов схемных решений и выбор наиболее подходящего. «Тирания альтернатив».
