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

Abstract

Приводиться метод синтезу дискретних пристроїв, якій грунтується на застосуванні послідовної декомпозіції автоматних моделей пристроїв. Обгрунтовані необхідні та достатні умови, що забезпечують реалізацію послідовної декомпозіції составного автомата. Показана перевага приведеного методу синтезу перед відомими методами проектування цифрових пристроїв.

Finite state machines are widely used to model systems in diverse areas. Often, the modeling machines can be decomposed into smaller component machines and this decomposition can facilitate the system design, implementation and analysis. In this paper, principles of serial (cascade) decomposition that is based on the closed partition of the internal states of the composite of the digital circuits by using properties of serial decomposition of machines.