Jump to content

Расширенный конечный автомат

В обычном конечном автомате переход связан с набором входных булевых условий и набором выходных булевых функций. В модели расширенного конечного автомата (EFSM) переход может быть выражен «оператором if », состоящим из набора триггерных условий . Если все условия триггера удовлетворены, запускается переход, переводящий машину из текущего состояния в следующее состояние и выполняющий указанные операции с данными .

Определение

[ редактировать ]

EFSM определен [1] как 7-кортеж где

  • S — набор символических состояний,
  • I — набор входных символов,
  • O — набор выходных символов,
  • D — n-мерное линейное пространство. ,
  • F – набор разрешающих функций ,
  • U — набор функций обновления ,
  • T – переходное отношение,

Структура

[ редактировать ]

Архитектура EFSM. Модель EFSM состоит из следующих трех основных комбинационных блоков (и нескольких регистров).

  • FSM-блок: обычный конечный автомат, реализующий графы переходов состояний модели EFSM.
  • A-блок: арифметический блок для выполнения операции с данными, связанной с каждым переходом. Работа этого блока регулируется выходными сигналами блока FSM.
  • E-блок: блок для оценки условий запуска, связанных с каждым переходом. Входными сигналами этого блока являются переменные данных, а выходными — набор двоичных сигналов, принимаемых на вход блоком FSM. Информация о избыточных вычислениях извлекается путем анализа взаимодействия между тремя основными блоками. Используя эту информацию, некоторые входные операнды арифметического блока и блока оценки могут быть заморожены посредством входного стробирования в определенных условиях времени выполнения, чтобы уменьшить ненужные переключения в проекте. На уровне архитектуры, если каждая оценка триггера и операция с данными рассматриваются как атомарное действие, то EFSM предполагает реализацию с практически минимальным энергопотреблением.

Циклическое поведение EFSM можно разделить на три этапа:

  1. В E-блоке оцените все условия запуска.
  2. В блоке FSM вычислите следующее состояние и сигналы, управляющие A-блоком.
  3. В A-блоке выполните необходимые операции с данными и перемещения данных.

См. также

[ редактировать ]
  1. ^ Ченг, КТ; Кришнакумар, А.С. (1993). «Автоматическая генерация функциональных тестов с использованием расширенной модели конечного автомата». Международная конференция по автоматизации проектирования (DAC) . АКМ. стр. 86–91.
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: bb75101ca04a0a5e85a0a35b04ecff12__1705690860
URL1:https://arc.ask3.ru/arc/aa/bb/12/bb75101ca04a0a5e85a0a35b04ecff12.html
Заголовок, (Title) документа по адресу, URL1:
Extended finite-state machine - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)