5 search results - page 1 / 1 » Integrating Symbolic Techniques in ATPG-Based Sequential Log... |
81
Voted
DATE
1999
IEEE
15 years 5 months ago
1999
IEEE
93
Voted
ISSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Scheduling is widely recognized as a very important step in highlevel synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware im...
110
Voted
ICCAD
1993
IEEE
15 years 4 months ago
1993
IEEE
Current approaches to compute and exploit the flexibility of a component in an FSM network are all at the symbolic level [23, 30, 33, 31]. Conventionally, exploitation of this ï¬...
123
Voted
ICLP
1995
Springer
15 years 4 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
102
click to vote
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Accurate timing analysis is crucial for obtaining the optimal clock frequency, and for other design stages such as power analysis. Most methods for estimating propagation delay ...