The review is devoted to methods of structural decomposition that are used for optimizing
characteristics of circuits of finite state machines (FSMs). These methods are connected with …

The advent of new low-power field programmable gate arrays (FPGA) for battery powered
devices opens a host of new applications to FPGAs. In order to provide security on resource …

Practically, any digital system includes sequential blocks represented using a model of finite
state machine (FSM). It is very important to improve such FSM characteristics as the number …

The NIST competition for developing the new cryptographic hash algorithm SHA-3 has
entered its third round. One evaluation criterion is the ability of the candidate algorithm to be …

A method is proposed targeting a decrease in the number of LUTs in circuits of FPGA-based
Mealy FSMs. The method improves hardware consumption for Mealy FSMs with the …

Methods for reducing power consumption in circuits of finite state machines (FSMs) are
discussed in this review. The review outlines the main approaches to solving this problem …

This work presents a technique for the resource optimization of input multiplexed ROM-
based Finite State Machines. This technique exploits the don't care value of the inputs to …

Finite state machines with input multiplexing (FSMIMs) have been proposed in previous
works as a technique for efficient mapping FSMs into ROM memory. In this paper, we …

Information Science and Digital Technology form an immensely complex and wide subject
that extends from social implications of technological development to deep mathematical …

The paper proposes the novel concurrency and sequentiality analysis techniques of a cyber-
physical system specified by a safe Petri net. The presented methods are based on the …