Модель аналогового устройства в виде зависимости выхода от входов обычно с использованием аппарата передаточных функций

Моделирование на основе функциональных моделей

Электронная логическая схема без элементов памяти

Электронная логическая схема с элементами памяти

Блок РЭА, осуществляющий переработку информации

Блок РЭА, предназначенный для выработки сигналов, управляющих функционированием операционных блоков

Комбинационный автомат в составе цифровой РЭА

Математическая модель в виде системы логических уравнений, описывающих установившееся состояние логической схемы

Моделирование с использованием синхронных моделей

Число значений дискретной величины

Моделирование с использованием моделей значности 3, обычно значениями являются 1, 0 и "неопределенность"

Процедура синтеза функциональных схем цифровой РЭА, заключающаяся в декомпозиции алгоритмического описания на ряд фрагментов (блоков)

Процедура синтеза, заключающаяся в разделении многоразрядной структуры на одноразрядные ячейки

Схема и другие данные блока, необходимые для его использования при проектировании РЭА. IP-блоки распространяются соответствующими фирмами как самостоятельные продукты

Процедура выбора типа триггеров и запись логических уравнений, выражающих выходные переменные ячеек (функции выходов) и переменные на входах триггеров (функции возбуждения) через входные и внутренние переменные

Синтез комбинационных блоков

Процедура замены символических обозначений состояний конечного автомата двоичными кодами

Проектная процедура синтеза цифровых устройств, заключающаяся в обнаружении и устранении повторений одних и тех же состояний

Метод верификации проектного решения путем его сопоставления с некоторым эталоном

Таблица, ставящая в соответствие выходы автомата его входам и состояниям

Автомат, в котором серия переходов приводит его в устойчивое состояние, причем переход в устойчивое состояние вызывается только изменениями входных переменных

Конечный автомат, задаваемый в виде множеств входных X, выходных Y, внутренних состояний A, функции переходов φ и функции выходов ψ

Конечный автомат, описываемый уравнениями A(t+τ)=φ(A(t),X(t)) и Y(t)=ψ((A(t)), где X — множество входов, Y — множество выходов , A — множество внутренних состояний, φ — функция переходов и ψ — функция выходов

Конечный автомат, описываемый уравнениями A(t+τ)=φ(A(t),X(t)) и Y(t)=ψ((A(t),X(t)), где X — множество входов, Y — множество выходов , A — множество внутренних состояний, φ — функция переходов и ψ — функция выходов

Матрица, в которой элемент на пересечении n-й строки и m-го столбца есть состояние, в которое конечный автомат переходит из n-го состояния при m-м входном векторе

Конъюнкция переменных и/или их отрицаний

Логическая функция в виде дизъюнкции конечного числа элементарных конъюнкций

Логическая функция в виде конъюнкции конечного числа элементарных дизъюнкций

Элементарная конъюнкция (в составе ДНФ логической функции n переменных), в которую входят все n переменных в прямом или инверсном виде

Конъюнкция, упрощение которой в составе ДНФ логической функции путем исключения какой-либо переменной невозможно без потери правильности отображения заданной функции с помощью этой ДНФ

Дизъюнктивная нормальная форма, в которой все элементарные конъюнкции являются конституентами единицы

Дизъюнктивная нормальная форма, в которую входят только простые импликанты

Дизъюнктивная нормальная форма, состоящая из минимально возможного числа букв (буква — обозначение переменной или ее отрицания)

Метод синтеза комбинационных логических схем

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

Подсхема элементов, связанных по постоянному току. В МДП схемах границами DCCC обычно являются цепи затворов. Примером DCCC может служить КМДП вентиль

Разбиение схемы на DCCC

Способ задания булевых функций, диаграмма есть граф, терминальные вершины которого соответствуют значениям 0 или 1, корневая вершина — исходной формуле, промежуточные вершины — переменным, а дуги, исходящие из вершины Xi — результатам интерпретации переменной Xi

Бинарная диаграмма решений с упорядоченным расположением вершин (в порядке возрастания индексов), исходящих дуг (левая дуга соответствует 0, правая 1) и двумя терминальными вершинами 0 и 1

Упорядоченная бинарная диаграмма решений, в которой нет кратных дуг и разным вершинам соответствуют неизоморфные подграфы. ROBDD наравне с ДНФ и КНФ является каноническим представлением логических функций

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