Open AccessBook
Algebraic Structure Theory of Sequential Machines
Reads0
Chats0
About:
The article was published on 1966-01-01 and is currently open access. It has received 571 citations till now. The article focuses on the topics: Algebraic structure.read more
Citations
More filters
Journal ArticleDOI
Structural and behavioral equivalences of tessellation automata
TL;DR: The concepts of structural and behavioral isomorphism on tessellation automata are investigated and certain equivalence relations preserving one or both forms of isomorphic lead to standardizations of neighborhood structure.
Journal Article
Nonlinear diagnostic filter design: algebraic and geometric points of view
Alexey Shumsky,Alexey Zhirabok +1 more
TL;DR: The problem of diagnostic filter design is studied and algebraic and geometric approaches to solving this problem are investigated, with new definitions of fault detectability and isolability formulated.
Journal ArticleDOI
General Decomposition and Its Use in Digital Circuit Synthesis
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.
Journal ArticleDOI
Evolutionary Algorithms and Theirs Use in the Design of Sequential Logic Circuits
TL;DR: An approach based on an evolutionary algorithm to design synchronous sequential logic circuits with minimum number of logic gates is suggested and the obtained results compare favourably against those produced by manual methods and other methods based on heuristic techniques.
Proceedings ArticleDOI
An application of functional decomposition in ROM-based FSM implementation in FPGA devices
TL;DR: The paper presents a general method for the synthesis targeted to implementation of sequential circuits using embedded memory blocks based on the serial decomposition concept and relies on decomposing the memory block into two blocks: a combinational address modifier and a smaller memory block.