Некоторые математические модели для анализа логических схем:

• Асинхронные модели. 4 Позволяют анализировать переходные процессы и прохождение сигналов по цепям из логических элементов с учётом задержек. 4 Переменные в таких моделях рассматриваются как функции времени. 4
• Синхронные модели. 4 Применяются для анализа установившихся состояний, в которых переменные не рассматриваются как функции времени. 4
• Модели различной значности. 4 В двузначных моделях используются булевы переменные, в трёхзначных — неопределённое значение (X). 4 В пятизначных моделях — значение сигнала при переключении из 1 в 0 (с единичного уровня на нулевой) и при переключении из 0 в 1, а также неопределённое значение (X). 4
• Системы линейных алгебраических уравнений. 3 Комплексная модель логических схем может быть представлена в виде уравнений состояний или систем линейных алгебраических уравнений. 3