400 search results - page 41 / 80 » Backtracking |
ICCAD
1996
IEEE
14 years 20 days ago
1996
IEEE
State justification is a time-consuming operation in test generation for sequential circuits. In this paper, we present a technique to rapidly identify state elements (flip-flops)...
ICTAI
1996
IEEE
14 years 20 days ago
1996
IEEE
In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can only be partially satisfied. In order to expres...
VISUALIZATION
1993
IEEE
14 years 19 days ago
1993
IEEE
Visualization has proved an e ective tool in the understanding of large data sets in computational science and engineering. There is growing interest today in the development of p...
ITC
1992
IEEE
14 years 17 days ago
1992
IEEE
In this paper we report an automatic test pattern generator that can handle designs with one million gates or more on medium size workstations. Run times and success rates, i.e. t...
KR
1992
Springer
14 years 17 days ago
1992
Springer
Converting complex equations into simpler, more tractable equations usually involves approximation. Approximation is usually done by identifying and removing insignificant terms, ...