By Topic

State minimization of pseudo non-deterministic FSMs

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Y. Watanabe ; Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA ; R. K. Brayton

This paper is concerned with the problem of optimizing a system of interacting finite state machines (FSMs). It has been shown previously by the authors that the complete set of sequential behaviors that can be implemented at a particular component of the system can be computed and represented by a single non-deterministic FSM, called the E-machine. In this paper, we consider the problem of finding an optimum behavior for the component, which is given by minimizing the E-machine, where the cost function is the number of states required for representing a behavior. We first present a theoretical analysis, in which we show the E-machine has a special property called pseudo nondeterminism, and this property can be effectively used for solving the problem. We then propose a heuristic method. The algorithm has been implemented, and initial experiments are given

Published in:

European Design and Test Conference, 1994. EDAC, The European Conference on Design Automation. ETC European Test Conference. EUROASIC, The European Event in ASIC Design, Proceedings.

Date of Conference:

28 Feb-3 Mar 1994