Full decomposition of sequential machines with the output behaviour realization

Research output: Book/ReportReportAcademic

106 Downloads (Pure)


The control units of large digital systems can use up to 80% of the entire hardware implementing the system. Therefore, it is very important to reduce the amount of hardware taken by the control unit and to simplify the design, implementation and verification process. In most cases, the control unit can be constructed as a sequential machine. In this work, a general and unified classification of full-decompositions and formal definitions of different sorts of full-decompositions for Mealy and Moore machines are presented and some theorems about the existence of full-decompositions with the output behaviour realization are formulated and proved. This theorems constitute a theoretical basis for the practical decomposition algorithms and for the software system calculating different sorts of decomposition for sequential machines.

Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages45
ISBN (Print)90-6144-199-4
Publication statusPublished - 1 Mar 1988

Publication series

NameEUT report. E, Fac. of Electrical Engineering
ISSN (Print)0929-8533


Dive into the research topics of 'Full decomposition of sequential machines with the output behaviour realization'. Together they form a unique fingerprint.

Cite this