IEEE - Institute of Electrical and Electronics Engineers, Inc. - The maximum set of permissible behaviors for FSM networks

Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)

Author(s): Watanabe, Y. ; Brayton, R.K.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Santa Clara, CA, USA, USA
Conference Date: 7 November 1993
Page(s): 316 - 320
ISBN (Paper): 0-8186-4490-7
DOI: 10.1109/ICCAD.1993.580075
Regular:

This paper is concerned with the problem of optimizing systems of interacting sequential circuit components. Specifically, we consider how one can find the set of sequential behaviors that can be... View More

Advertisement