5762 search results - page 706 / 1153 » R-tree: A Hardware Implementation |
151
click to vote
ICCAD
2007
IEEE
16 years 4 months ago
2007
IEEE
—In the VLSI design process, a design implementation often needs to be corrected because of new specifications or design constraint violations. This correction process is referre...
186
click to vote
ICCAD
2007
IEEE
16 years 4 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
191
click to vote
ICCAD
2007
IEEE
16 years 4 months ago
2007
IEEE
ion Chao Wang NEC Laboratories America Hyondeuk Kim University of Colorado Aarti Gupta NEC Laboratories America Variable hiding and predicate abstraction are two popular abstracti...
191
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
Statistical Static Timing Analysis has received wide attention recently and emerged as a viable technique for manufacturability analysis. To be useful, however, it is important th...
168
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
The wire length estimation is the bottleneck of packing based block placers. To cope with this problem, we present a fast wire length estimation method in this paper. The key idea...