8 search results - page 1 / 2 » A new method for the state reduction of incompletely specifi... |
EURODAC
1990
IEEE
13 years 9 months ago
1990
IEEE
DAC
1996
ACM
13 years 9 months ago
1996
ACM
Abstract-- This paper proposes a state reduction algorithm for incompletely specified FSMs. The algorithm is based on iterative improvements. When the number of compatibles is like...
DATE
2002
IEEE
13 years 9 months ago
2002
IEEE
ISCAS
2002
IEEE
13 years 9 months ago
2002
IEEE
A technique for computing the switching activity of synchronous Finite State Machine (FSM) implementations including the influence of temporal correlation among the next state si...
ASPDAC
2001
ACM
13 years 8 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...