Optimizing Components of Multi-Module Systems Based on don’t Care Input Sequences

Shirokova E.; L. Evtushenko; Laputenko A.; Nina Yevtushenko

doi:10.1109/EWDTS50664.2020.9225031

Publications

?

Optimizing Components of Multi-Module Systems Based on don’t Care Input Sequences

P. 159–163.

Shirokova E., Evtushenko L., Laputenko A., Nina Yevtushenko

In this paper, we use a window approach when optimizing Finite State Machine (FSM) components of a multi module system. Given a window with a loop-free binary composition of complete deterministic FSMs, we construct a partial FSM for the tail component FSM such that any reduced form of this partial FSM can replace the tail component preserving the composition behaviour. There are a number of cases when using a partial network equivalent instead of the initial component FSM allows to simplify the corresponding logic circuit with respect to the number of gates and path length between primary inputs and outputs.

Language: English

DOI

Text on another site

Keywords: Finite State Machine (FSM)Synchronous composition of FSMs FSM equation component

In book

Proceedings 2020 IEEE East-West Design & Test Symposium (EWDTS)

Sidorenko V., Кулагин М. А. Varna: IEEE, 2020.

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

Evtushenko L., В кн.: Межвузовская научно-техническая конференция студентов, аспирантов и молодых специалистов им. Е.В. Арменского 2023.: МИЭМ НИУ ВШЭ, 2023. С. 134–136.

Конечные автоматы часто используются, как формальная модель для описания поведения дискретных систем, и в ряде случаев установочные трассы позволяют упростить/оптимизировать процесс пассивного тестирования. В данной работе приводятся результаты компьютерных экспериментов проверки наличия установочных трасс заданной длины в конечном автомате. ...

Added: September 3, 2023

Optimizing Components of Finite State Machines Composition Based on Don’t Care Input Sequences in Hardware Implementation

Shirokova E., Evtushenko L., Laputenko A., , in: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS).: IEEE, 2021. P. 1–5.

Added: May 24, 2022

On the Modeling of Sequential Reactive Systems by Means of Real Time Automata

Vinarskii E., Zakharov V., Automatic Control and Computer Sciences 2021 Vol. 55 No. 7 P. 751–762

Sequential reactive systems include hardware devices and software programs which operate in continuous interaction with the external environment, from which they receive streams of input signals (data, commands) and in response to them form streams of output signals. Systems of this type include controllers, network switches, program interpreters, system drivers. The behavior of some reactive systems is determined not ...

Added: January 17, 2022