Асинхронное событийное моделирование

_{Свойства:}

1. _{метод двухзначного моделирования (0 или 1);}

2. _{с учётом задержки;}

3. _{в рабочем цикле не проводится моделирование, но однократно сквозное моделирование в этом методе проводится.}

_{Идея: для больших схем обычно изменения входных сигналов (активное состояние) наблюдается для малого количества логических элементов.}

_{Логические элементы стационарные}

_{Логические элементы динамика}

_{>> => выгоднее использовать}

_{событийное моделирование.}

_{Нужно решать лишь те логические уравнения, которые описывают логические элементы с изменёнными входными сигналами.}

_{В ход ЛЭ Выход}

_{Вход = c onst => Выход = const}

_{Информация о состоянии выходных сигналов находится в массиве состояний. Данный массив содержит все входные сигналы для логических элементов. Получают эти значения на основе однократного асинхронного моделирования. Асинхронное моделирование осуществляется сквозным методом. Формируется очередь будущих событий, которая содержит указание на то какие элементы (логические уравнения) необходимо решать, если изменились значения в массиве состояний. Очередь будущих событий отображает причинно-следственные связи. Выбор временного шага при событийном моделировании и при сквозном моделировании аналогичен, однако, при событийном моделировании количество анализируемых , , где , , при событийном моделировании.}

_{Плюсы данного метода:}

1. _{эффективный метод для схем с большим количеством элементов (сотни и выше) и большое число наборов входных сигналов. Многовариантный анализ относительно входного сигнала.}

_{Минусы:}

1. _{требуется однократное моделирование на основе сквозного алгоритма;}

2. _{условие алгоритма за счёт формирования и работы с массивами состояний и очередью будущих состояний.}

Многозначное моделирование

_{Свойства:}

1. _{трёхзначное моделирование, либо пятизначное моделирование;}

2. _{по алгоритму многозначное моделирование относится к синхронному методу;}

3. _{сквозной алгоритм расчёта.}

_{Трёхзначное моделирование решает задачи:}

_{а) правильность логического функционирования схемы;}

_{б) возможность появления статического риска сбоя.}

_{Замечание: необходимые условия, но не достаточные.}

_{Необходимое условие превращается в достаточное, если реализована задержка одного сигнала относительно другого.}

_{Необходимые условия появления динамического риска сбоя (статический риск сбоя на выходе логического элементы).}

_{Определение критических состязаний:}

_{Рассмотрим необходимые условия их появления, которые заключаются в том, что в схемах с ОС, в ОС возникают неопределённые состояния (см. Ильин).}

_{Идея: рисуем схему. Есть ОС, то анализируется.}

_{см. самостоятельно Ильин.}

1. _{схема без ОС (1 набор, 2-ой набор)}

_{Пятизначное моделирование}

_{Решаемые задачи:}

1. _{правильность логического функционирования;}

2. _{определение статического риска сбоя;}

3. _{определение динамического риска сбоя;}

4. _{определение критических состязаний;}

5. _{переход из “0” в “1”;}

6. _{переход из “1” в “0”;}

_{Особенности моделирования такие не как у трёхзначных: увеличивается количество входных сигналов.}

_{См. Ильин.}

_{“+”: по сравнению с синхронным моделированием решаются новые задачи, но по сравнению с асинхронным моделированием менее трудоёмким для большинства схем.}

_{“-”: по сравнению с асинхронным определим необходимые условия; по сравнению с синхронным моделированием выше трудоемкость..}

_{Оптимизация.}

_{авт. Влак И., Сингал К.}

_{“Машинные методы анализа и проектирования электронных схем”.}

_{Оптимизация завершит этап проектирования, при котором определяется совокупность внутренних параметров схемы (значения ёмкостей, сопротивлений, источников сигнала и т.д.), обеспечивающих необходимые значения выходных характеристик (быстродействующее время задержки сигнала, потребляемая мощность, уровень сигнала на выходе).}

_{Y = F*X, где}

_{X – вектор внутренних параметров}

_{Y – вектор выходных характеристик}

_{Известна целевая функция, которая является Y оптимальной.}

_{Обычно целевая функция в пакете формируется на основе одной характеристики.}

_{Существуют аналитические методы расчёта оптимальных параметров, реализуются лишь для частных случаев:}

1. _{гладкая функция одного аргумента;}

2. _{существуют численные методы расчёта.}

_{Численные методы расчёта используют в пакетах схематического проектирования.}

_{Алгоритмы численных методов являются итерационными, определяются коэффициентами чувствительности для изменения параметров, учитываются предыдущие шаги.}