scispace - formally typeset
Search or ask a question

Trinity algebra and full-decompositions of sequential machines

01 Jan 1986-
TL;DR: The final author version and the galley proof are versions of the publication after peer review that features the final layout of the paper including the volume, issue and page numbers.
Abstract: • A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.

Content maybe subject to copyright    Report

Citations
More filters
Journal ArticleDOI
TL;DR: The fundamentals of a logic design methodology which meets the requirements of today's complex circuits and modem building blocks are presented and the decomposition methodology that is presented ensures “correctness by construction” and enables very effective and efficient post-factum validation.
Abstract: Modem microelectronic technology.gives opportunities to build digital circuits of huge complexity and provides a wide diversity of logic building blocks. Although logic designers have been building circuits for many years, they have realized that advances in microelectronic technology are outstripping their abilities to make use of the created opportunities. In this paper, we present the fundamentals of a logic design methodology which meets the requirements of today's complex circuits and modem building blocks. The methodology is based on the theory of general full-decompositions which constitutes the theory of digital circuit structures at the highest abstraction level. The paper explains the theory and shows how it can be used for digital circuit synthesis. The decomposition methodology that is presented ensures “correctness by construction” and enables very effective and efficient post-factum validation. It makes possible extensive examination of the structural features of the required information processing in relation to a given set of objectives and constraints.

46 citations


Cites background from "Trinity algebra and full-decomposit..."

  • ...parallel full-decompositions [19]-[27], in which each of the component machines can compute its own next-state and output independently (Fig....

    [...]

Journal ArticleDOI
TL;DR: A heuristic method is presented for suboptimal multiple-objective sequential general decomposition of sequential machines into submachines with limited input/output bits, product terms and state variables and shows that it is efficient and flexible.

22 citations

01 Jan 1989
TL;DR: It is proved, that the bit full- decomposition can be treated as a special case of the symbol full-decomposition; therefore, no new decomposition theory is needed for this case, but the symbolFulldecompositions theory together with the theorems introduced here constitute the theory of bitFullDecomposition.
Abstract: Control units and serial processing units of today's information processing systems must realize complex processes, which are usually described in the form of a sequential machine or a number of cooperating sequential machines. Large machines are difficult to: design, optimize, implement and verify. Therefore, there is a real need for CAD tools, which could decompose a complex sequential machine into a number of smaller and less complicated partial machines. For many years, the decomposition of only the internal states of sequential machines has been studied. However, this sort of decomposition is not a sUfficient solution. The complexity of a circuit implementing a sequential machine is a function not only of machine's internal states but as well of inputs and outputs. Furthermore, the possibility to implement a machine with today's array logic building blocks depends not only on the number of internal states but as well on inputs and outputs. So, there is a real need for decompositions upon the states, inputs and outputs of a sequential machine, i.e. for fulldecompositions. During the full-decomposition process, the input and/or state and/or output symbols (values) can be decomposed or the input and/or state and/or output bits. So, it is possible to perform the symbol fulldecomposition or the bit full-decomposition. This report provides the classification of full-decompositions and describes briefly the theoretical foundations of bit fulldecomposition. Comparing to the symbol full-decomposition,the bit fulldecomposition has the following advantage: input and output decoders are reduced to an appropriate distribution of the primary input and output bits between the partial machines. In the report, definitions of a bit partition and bit partition pairs are introduced and their usefulness to bit full-decompositions is shown. It is proved, that the bit full-decomposition can be treated as a special case of the symbol full-decomposition; therefore, no new decomposition theory is needed for this case, but the symbol fulldecomposition theory together with the theorems introduced here constitute the theory of bit full-decomposition. Finally, a comparison is made between the symbol and the bit fulldecompositions and some practical conclusions and remarks are presented. In the appendix, an example is provided that illustrates the possibility and the practical usefulness of bit full-decomposition. Based on the developed theory, the CAD algorithms calculating different bit full-decompositions have been developed and implemented. Those algorithms and the practical results are presented and estimated in the separate paper [5]. Index Terms Automata theory, decomposition, logic design, sequential machines. Acknowledgements The author is indebted to Prof. ir. A. Heetman and Prof. ir. M. P.J. Stevens for making it possible to perform this work, to Dr. P.R. Attwood for making corrections to the English text and to mr. C. van de Watering for typing the text.

19 citations

Journal ArticleDOI
TL;DR: The theoretical and practical results that were obtained in the field of simultaneous decompositions which divide the process described by a given sequential machine into a number of interacting parallel partial processes, each implemented by one partial machine are described.

18 citations

01 Jan 1989
TL;DR: A special full-decomposition strategy is investigated, which has several advantages comparing to the case where a sequential machine is considered as a unit, and can be directly used in order to develope programs computing different sorts of decompositions for sequential machines.
Abstract: The decomposition theory of sequential machines aims to find answers to the following important practical problem: how to decompose a complex sequential machine into a number of simpler partial machines in order to: simplify the design, implementation and verification process; make it possible to process (to optimize, to implement, to test, ••. ) the separate partial machines al though it may be impossible to process the whole machine with existing tools; make it possible to implement the machine with existing building blocks or inside of a limited silicon area. For many years, decomposition of the internal states of sequential machines has been investigated. Here, decomposition of the states, as well as, the inputs and outputs of sequential machines is considered, i.e. full-decomposition. In [16], classification of full-decompositions is presented and theorems about the existence of different full-decompositions are provided. In this report a special full-decomposition strategy is investigated the full-decomposition of sequential machines with the separate realization of the next-state and output functions. This strategy has several advantages comparing to the case where a sequential machine is considered as a unit. In the report, the results of theoretical investigations are presented; however, the notions and theorems provided here have straightforward practical interpretations and they can be directly used in order to develope programs computing different sorts of decompositions for sequential machines. INDEX TERMS Automata theory, decomposition, logic system design, sequential machines. ACKNOWLEDGEMENTS The author is indebted to Prof. ir. A. Heetman and Prof. ir. M. P.J. Stevens for making it possible to perform this work, to Dr. P.R. Attwood for making corrections to the English text and to mr. C. van de Watering for typing the text.

17 citations


Cites background or methods from "Trinity algebra and full-decomposit..."

  • ...2 is more general than the one proved in [14]....

    [...]

  • ...An approach to the full-decomposition of sequential machines has been presented in [14] and [15]....

    [...]

  • ...In [14], a theorem similar to Theorem 3....

    [...]

  • ...2 and the theorem proved in [14]: Theorem 3....

    [...]

References
More filters
Book
01 Mar 1974
TL;DR: This book attempts to provide a comprehensive textbook for undergraduate and postgraduate mathematicians with an interest in formal languages and automata, written by Professor Ian Chiswell.
Abstract: The 80 revised papers presented together with two keynote contributions and four invited papers were carefully reviewed and sele... The study of formal languages and automata has proved to be a source of much interest and discussion amongst mathematicians in recent times. This book, written by Professor Ian Chiswell, attempts to provide a comprehensive textbook for undergraduate and postgraduate mathematicians with an interest i...

2,029 citations

Book
01 Jan 1972
TL;DR: The first monograph has suggested that in analysing a problem and groping towards a solution, a programmer should take advantage of abstract concepts such as sets, sequences, and mappings; and judiciously postpone decisions on representation until he is constructing the more detailed code of the program.
Abstract: In recent years there has been an increasing interest in the art of computer programming, the conceptual tools available for the design of programs, and the prevention of programming oversights and error. The initial outstanding contribution to our understanding of this subject was made by E. W. Dijkstra, whose Notes on Structured Programming form the first and major section of this book. They clearly expound the reflections of a brilliant programmer on the methods which he has hitherto unconsciously applied; there can be no programmer of the present day who could not increase his skills by a study and conscious application of these principles. In the second monograph I have tried to describe how similar principles can be applied in the design of data structures. I have suggested that in analysing a problem and groping towards a solution, a programmer should take advantage of abstract concepts such as sets, sequences, and mappings; and judiciously postpone decisions on representation until he is constructing the more detailed code of the program. The monograph also describes a range of useful ideas for data representation, and suggests the criteria relevant for their selection. The third monograph provides a synthesis of the previous two, and expounds the close theoretical and practical connections between the design of data and the design of programs. It introduces useful additional methods for program and data structuring which may be unfamiliar to many programmers. The examples show that structured programming principles can be equally applied in "bottom-up" as in "top-down" program design. The original inspiration, insight, and all the examples were contributed by O.-J. Dahl; I have only assembled the material, and added some additional explanations where I found it difficult to understand.

1,238 citations

Journal ArticleDOI
TL;DR: In this paper, it was shown that a semigroup S is irreducible if and only if either: either: (1) S I S2 or (2)S I S1.
Abstract: Introduction. In the following all semigroups are of finite order. One semigroup S, is said to divide another semigroup S2, written SlIS2, if S, is a homomorphic image of a subsemigroup of S2. The semidirect product of S2 by Sl, with connecting homomorphism Y, is written S2 X y Sl. See Definition 1.6. A semigroup S is called irreducible if for all finite semigroups S2 and Si and all connecting homomorphisms Y, S I (S2 X Y SJ) implies S I S2 or S I S1. It is shown that S is irreducible if and only if either:

343 citations

Journal ArticleDOI
Juris Hartmanis1
TL;DR: It is shown how the amount of information flowing between the component machines in a realization can be studied by means of partition pairs.
Abstract: The object of this paper is to study the realization of a sequential machine from several smaller machines. The basic tools in this investigation are the partitions with the substitution property and the partition pairs. It is shown that to every (loop-free) realization of a sequential machine from n smaller machines corresponds a set of n partitions with the substitution property whose product is the zero partition. Conversely, it is shown that to every such set of n partitions corresponds a realization of the given sequential machine from n smaller machines. The natural ordering of these partitions is reflected in the information flow between the corresponding component machines and the algebraic operations defined between these partitions corresponding to the realization, govern the modifications of this realization. Finally, it is shown how the amount of information flowing between the component machines in a realization can be studied by means of partition pairs.

73 citations