6456 search results - page 967 / 1292 » Constraint Solving on Terms |
185
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...
175
Voted
DAC
1998
ACM
16 years 7 months ago
1998
ACM
The logic blocks CLBs of a lookup table LUT based FPGA consist of one or more LUTs, possibly of di erent sizes. In this paper, we focus on technology mapping for CLBs with several...
169
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
In this paper, we study the problem of performance-driven multi-level circuit clustering with application to hierarchical FPGA designs. We first show that the performance-driven m...
171
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Reseeding is used to improve fault coverage of pseudorandom testing. The seed corresponds to the initial state of the PRPG before filling the scan chain. In this paper, we present...
166
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
An efficient matrix solver is critical to the analytical placement. As the size of the matrix becomes huge, the multilevel methods turn out to be more efficient and more scalable....