2346 search results - page 215 / 470 » Hierarchical State Machines |
146
click to vote
COMPSAC
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper discusses how conventional testing criteria such as branch coverage can be applied for the testing of member functions inside a class. To support such testing technique...
126
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
Symbolic state space exploration techniques for Finite State Machines (FSMs) are a major recent result in CAD for VLSI. Most of them are exact and based on forward traversal, but ...
150
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Let us have an NLFSR with the feedback function g(x) and an LFSR with the generating polynomial f(x). The function g(x) is a Boolean function on the state of the NLFSR and the LFS...
120
click to vote
SPIRE
2000
Springer
15 years 8 months ago
2000
Springer
We present new search algorithms to detect the occurrences of any pattern from a given pattern set in a text, allowing in the occurrences a limited number of spurious text charact...
163
click to vote
ICTAI
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper proposes an optimization algorithm for reducing the power dissipation in a sequential circuit. The encoding of the different states in a Finite State Machine is modifie...