Какие существуют методы логического моделирования в САПР?

Некоторые методы логического моделирования в САПР (системах автоматизированного проектирования):

• Синхронное моделирование. 14 Осуществляется моделирование логических схем с нулевыми или единичными задержками логических элементов. 4 Такие алгоритмы обладают высоким быстродействием, но не позволяют получать временные диаграммы работы логических элементов схемы и решать другие задачи, связанные с учётом временных соотношений между сигналами. 4
• Асинхронное моделирование. 14 Реализует моделирование логических схем с учётом задержек логических элементов. 4 При таком моделировании требуется определить не только состояние на выходе компонента (0 или 1), но и момент времени, когда произошло изменение. 1
• Событийное моделирование. 45 В отличие от алгоритмов сквозного моделирования, обработке подлежат только логические элементы с изменившимися входными значениями сигналов. 4 Такое моделирование обладает более высоким быстродействием по сравнению со сквозным. 4
• Интерпретативное моделирование. 2 Использует модель схемы в виде ряда таблиц, связанных системой ссылок. 2 Такой метод более универсальный и позволяет проводить более точный временной анализ. 2
• Компилятивное моделирование. 2 Использует готовую скомпилированную машинную программу. 2 Такой метод более быстродействующий за счёт сокращения операций поиска адресов нужных значений сигналов и вызовов подпрограмм, которые составляют существенную часть в интерпретативном методе. 2