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
Safety of abstract interpretations for free, via logical relations and Galois connections
Kevin Backhouse,Roland Backhouse +1 more
TL;DR: Algebraic properties of logical relations on partially ordered sets are studied and it is shown how to construct a logical relation that extends a collection of base Galois connections to a Galois connection of arbitrary higher-order type.
Journal ArticleDOI
Exact calculation of synchronizing sequences based on binary decision diagrams
TL;DR: An efficient and exact method for computing synchronizing sequences based on the efficient image and pre-image computation methods using binary decision diagrams is presented.
Journal ArticleDOI
Behavior and testability preservation under the retiming transformation
TL;DR: It is shown that, for circuits with no hardware reset or a global reset state, retiming preserves testability with respect to a single stuck-at fault test set by adding a prefix sequence of a predetermined number of arbitrary input vectors.
Proceedings ArticleDOI
A unified approach to input-output encoding for FSM state assignment
TL;DR: A new theoretical formulation of the output encoding and state assignment targeting two-level logic implementations is presented that allows to solve the input and output encoding problems, inherent in state assignment of FSM, simultaneously.
Proceedings ArticleDOI
General Decomposition of Sequential Machines: Relationships to State Assignment
TL;DR: Experimental results indicate that this technique of factorization followed by state assignment is superior to previous state assignment techniques for large sequential machines, when targeting either two-level or multi-level implementations.