6939 search results - page 1200 / 1388 » Algorithm Engineering for Parallel Computation |
126
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
DAC
2004
ACM
16 years 4 months ago
2004
ACM
Thermal design in sub-100nm technologies is one of the major challenges to the CAD community. In this paper, we first introduce the idea of temperature-aware design. We then propo...
129
click to vote
DAC
2004
ACM
16 years 4 months ago
2004
ACM
A tool that automates the floating-point to fixed-point conversion (FFC) process for digital signal processing systems is described. The tool automatically optimizes fixed-point d...
102
Voted
ICCAD
2006
IEEE
16 years 11 days 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...
127
Voted
ICCAD
2006
IEEE
16 years 11 days ago
2006
IEEE
The continuous minituarization of integrated circuits may reach atomic scales in a couple of decades. Some researchers have already built simple computation engines by manipulatin...