5 search results - page 1 / 1 » Integrating Symbolic Techniques in ATPG-Based Sequential Log... |
DATE
1999
IEEE
14 years 3 months ago
1999
IEEE
ISSS
2002
IEEE
14 years 3 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...
ICCAD
1993
IEEE
14 years 3 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 ï¬...
ICLP
1995
Springer
14 years 2 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...
DATE
2009
IEEE
14 years 5 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 ...